v3.2.0
CHANGES:
Mon Oct 8 10:41:24 BST 2018
Switched build to dune (thanks to @nojb).
Added support for 4.07.1
Various bugfixes in the backend and in the editor modes.
CHANGES:
Mon Oct 8 10:41:24 BST 2018
Switched build to dune (thanks to @nojb).
Added support for 4.07.1
Various bugfixes in the backend and in the editor modes.