1.11.0

Leonidas-from-XIV released this 08 Sep 10:13

· 258 commits to main since this release

CHANGES:

Changed

Use odoc-parser.0.9.0 (#333, @Julow)

Deprecated

Add a deprecation warning for toplevel blocks that are not terminated with ;; (#342, @Leonidas-from-XIV)

Fixed

Fix accidental redirect of stderr to stdout (#343, @Leonidas-from-XIV)
Remove trailing whitespaces that were added to indent empty lines (#341, @gpetiot)

Contributors

Leonidas-from-XIV, gpetiot, and Julow

Assets 3