Skip to content
Snippets Groups Projects

Merge branch 'master' into gitlab-ci

Failed
Matthias Konitzny created pipeline for commit 88819792
, finished
For gitlab-ci
branch
4 jobs 2 minutes 27 seconds, queued for 5 seconds