Merge branch 'develop' into 'master'
Warning
Michael Kuron
created pipeline for commit
6effd8d3
, finished
For master
11 minutes 36 seconds, queued for 3 seconds