Release notes

Version 7.2.0 - 2024-04-29

• Bug fixes (see mercurial logs for details)

Version 7.0.0 - 2023-10-30

Initial release