v3.3.6

voodoos released this 12 Jun 08:42

· 1661 commits to main since this release

464df1a

CHANGES:

Fri Jun 12 10:51:42 CEST 2020

merlin binary
- dune: remove duplicated rules for profile=release (#1143)
test suite
- fix a test that required Dune 2.5 (#1146)
- fix another test that lacked reproducibility (#1146)

Assets 3