Skip to content
Snippets Groups Projects

Merge branch 'devel' into main

Passed
Benedikt created pipeline for commit 97e85827
, finished
For main
48 seconds, queued for 1 seconds