Merge branch 'master' of...
Passed
Jörg Sachse
created pipeline for commit
33d5b63f
, finished
For master
14 minutes 28 seconds, queued for 0 seconds