Merge branch 'fix_ci' into 'master'
Passed
Jörg Sachse
created pipeline for commit
83a4aabc
, finished
For master
9 minutes 22 seconds, queued for 32 seconds