Updates recognized automatically [SKIP_check4security] [SKIP_check4outdated] [CREATE_RELEASE]
Passed
jurgenhaas
created pipeline for commit
0cd09627
, finished
1 related merge request: !531 Merging develop into main
1 minute 25 seconds, queued for 2 seconds