Closed rgrinberg closed 9 years ago
https://github.com/ocaml/opam-repository/pull/3732
cc @vbmithr
cherry picked.
https://github.com/ocaml/opam-repository/pull/3732
cc @vbmithr