Skip to content
Snippets Groups Projects

Merge branch 'dev' into f-update

Passed
Timm Fitschen created pipeline for commit 0d3ce44a
, finished
1 related merge request: !6 F update
6 jobs 15 minutes 51 seconds, queued for 49 seconds