Merge branch 'patch-1' into 'master'
Passed
Markus Holzer
created pipeline for commit
43bdbcb8
, finished
For master
42 minutes 0 seconds, queued for 69 seconds