Merge branch 'ci' into 'master'
Passed
Jörg Sachse
created pipeline for commit
66789699
, finished
For master
12 minutes 50 seconds, queued for 3 seconds