Merge branch 'master' of...
Passed
Jörg Sachse
created pipeline for commit
1f909c4d
, finished
For master
15 minutes 8 seconds, queued for 3 seconds