-
Ralf Jung authored
This reverts commit 8c0cb81c. I'm seeing strange opam behavior (https://github.com/ocaml/opam/issues/5773), maybe this is that bug again.
192ba186
This reverts commit 8c0cb81c. I'm seeing strange opam behavior (https://github.com/ocaml/opam/issues/5773), maybe this is that bug again.