Hi all! Drom version in opam is 0.8.0, but release version is mentioned to be 0.9.0. Are there any plan push new versions to opam? Thanks!
Hi all!
Drom version in opam is 0.8.0, but release version is mentioned to be 0.9.0.
Are there any plan push new versions to opam?
Thanks!