Romain requested to merge release-prep into master Jan 06, 2025

What

Why

Update CHANGES.md. No need to document changes to documentation and tests.
Make sure all new values, types etc. are documented in .mli files and that the generated documentation looks ok.
Add tests in test/, if relevant.