0.8000.10 protected

Martin Spiessl

@masp

679a0d08 · Merge branch 'develop' into 'trunk' · Mar 08, 2023

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