Merge branch 'feat_gitlab_ci' into 'master'
Passed
Jörg Sachse
created pipeline for commit
68380f94
, finished
For master
4 minutes 16 seconds, queued for 1 seconds