Build #80 (Jan 30, 2023 9:05:39 AM)

1. new-release addition (detail)

Started by GitLab push by Sebastian Muellers

• origin/new-release