Merge branch 'schiller' into 'master'
Passed
Markus Holzer
created pipeline for commit
235979c0
, finished
For master
16 minutes 1 second, queued for 4 seconds