Closed hannesm closed 7 years ago
https://github.com/ocaml/opam-repository/pull/8535 is merged now, let's see what this CI says :)
//cc @samoht it's green, I merge this :)
https://github.com/ocaml/opam-repository/pull/8535 is merged now, let's see what this CI says :)