Merge branch 'dev' into 'master'
Passed
René Schöne
created pipeline for commit
69479d66
, finished
For master
2 minutes 1 second, queued for 3 seconds