Skip to content
Snippets Groups Projects

Merge branch 'dev' into 'master'

Passed
Fabian Nuraddin Alexander Gabel created pipeline for commit 095857ef
, finished
2 related merge requests: !132 Master, !119 Master
20 jobs 2 minutes 4 seconds, queued for 2 seconds