Closed voodoos closed 4 years ago
This is needed for use with merlin .
This necessitate a future version of dune: probably 2.5.
2.5
Normally you should be able to merge this yourself (once the new dune is released).
This is needed for use with merlin .
This necessitate a future version of dune: probably
2.5
.