Closed Drup closed 4 years ago
Should be a reasonable fix for https://github.com/ocaml/opam-repository/pull/15720
Should be a reasonable fix for https://github.com/ocaml/opam-repository/pull/15720