0.8000.14 protected

Martin Spiessl

@masp

3d8e65a7 · Merge branch 'develop' into 'trunk' · Aug 21, 2023

New Release with various fixes and improvements, cf. MR !112