v4.2.0

github-actions released this 17 Jul 01:27

· 62 commits to main since this release

The comments below are automatically extracted from the beginning of the
NEWS document.

4.2.0 (2023-07-16)

Fixed the splash screen to display the correct version number.

Assets 3