Merge branch 'th/dev' into 'master'
Passed
Thomas Schneider
created pipeline for commit
859ef8dc
, finished
For master
45 seconds, queued for 2 seconds