Hi, branch 0.19.0 cut, version number bumped to 0.20.0 master.
Have fun, JensG Am 05.07.2023 um 10:15 schrieb Jens Geyer:
Hi all, unless there are objections to it, I am going to create a release branch around saturday, and the release candidate a week later. Have fun, JensG
