Commit c25061df authored by Ralf Jung's avatar Ralf Jung
Browse files

write URLs the way opam writes them

parent f3143765
Pipeline #12408 failed with stage
in 8 minutes and 41 seconds