Merge branch 'gitlab-ci-4' into 'master'
Passed
Florian Sesser
created pipeline for commit
7eee81cc
, finished
For master
15 seconds, queued for 2 seconds