Since cc482d3b7ba311613369500e6f10e395c41b61d0 has been merged would you help to create a new version on opam so it can be successfully installed from there? Maybe as version 3.1.2. Currently I'm having to pin the repository at this commit to have my code working.
Hi Xavier,
Since cc482d3b7ba311613369500e6f10e395c41b61d0 has been merged would you help to create a new version on opam so it can be successfully installed from there? Maybe as version 3.1.2. Currently I'm having to pin the repository at this commit to have my code working.
I can drop a PR to update the opam config.
Dorian