Skip to content
Snippets Groups Projects

Merge branch 'develop' into 'main'

Warning
Tobias Mieves created pipeline for commit e8fe9b3c
, finished
Related merge request !36 to merge develop into main
1 minute 54 seconds, queued for 2 seconds