v2.3.5-rc1

Jörn Starruß

@jstar

b67d1b7a · Merge branch 'update_CI' into 'release_2.3' · Sep 26, 2023

First release candidate for the 2.3.5 bugfix release