Closed mseri closed 6 years ago
See https://github.com/ocaml/opam-repository/pull/11708#issuecomment-380377916
Signed-off-by: Marcello Seri marcello.seri@citrix.com
I think we can close the PR now as it's change had been merged in #54. Thanks. @jonludlam @mseri
Indeed :) Closing
See https://github.com/ocaml/opam-repository/pull/11708#issuecomment-380377916
Signed-off-by: Marcello Seri marcello.seri@citrix.com