Skip to content
Snippets Groups Projects

Merge branch 'd12' into 'develop'

Failed
Wuttke, Joachim created pipeline for commit e741737b
, finished
For develop
branch
3 jobs 18 minutes 37 seconds, queued for 3 seconds