Closed dinosaure closed 2 years ago
thanks, merged manually and released as happy-eyeballs 0.1.2 to opam-repository (same PR as dns 6.1.3 -- https://github.com/ocaml/opam-repository/pull/20278)
thanks, merged manually and released as happy-eyeballs 0.1.2 to opam-repository (same PR as dns 6.1.3 -- https://github.com/ocaml/opam-repository/pull/20278)