Closed dbuenzli closed 9 years ago
Would it please be possible to make a new release with https://github.com/OCamlPro/ocp-indent/pull/192 as soon as possible, otherwise people won't be able to use cmdliner 0.9.8.
https://github.com/ocaml/opam-repository/pull/4972
Thanks.
Would it please be possible to make a new release with https://github.com/OCamlPro/ocp-indent/pull/192 as soon as possible, otherwise people won't be able to use cmdliner 0.9.8.