Le 25/12/2018 à 23:53, Romain Beauxis a écrit : > > 1.3.5 (25-12-2018) > > New: >
Hi Romain ! First, let me wish a happy new year to all the community! I have build scripts that rely on opam to fetch the latest release which is stuck on 1.3.4, can you push it there? Can this be automated upon release on github maybe? So far 1.3.5 looks nice for me btw, no obvious setbacks, thanks for that new release! Cheers, Gilles _______________________________________________ Savonet-users mailing list Savonet-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/savonet-users
