Closed dra27 closed 4 years ago
Thanks :) For the version in dune-project
, no it's not necessary. It's automatically added by dune-release
. When dev-pinned, dune install
automatically adds the version to the META
and opam
files.
BTW, I have you commit rights on the repo.
Thanks, @diml! version
removed from dune-project
, so this is good to go.
No problem :) Merging now
I have:
version
field indune-project
(I think that may be unnecessary once it's tagged??)graphics.opam
with the versions in opam-repositoryMETA
file slightlyThis seems to be working on 4.09.0 beta1 for me