Skip to content
Snippets Groups Projects

Merge branch 'main' into 'develop'

Passed
Behrisch, M. (Michael) created pipeline for commit 9d04f761
, finished
Related merge request !15 to merge develop
merge request
2 jobs 12 minutes 45 seconds, queued for 1 seconds