Closed Leonidas-from-XIV closed 4 years ago
My pleasure. I think it would be reasonable to look through Rudi's other changes and consider adding them if we want to publish on OPAM so people using the 1.0.0 package won't suddenly go missing. I'll take a look.
In the meantime, could you please enable Travis on this repo? Then we'll should have CI working.
This applies lots of the improvements from @rgrinberg's repo to here.