Merge branch 'Dev' into 'master'
Passed
Markus Holzer
created pipeline for commit
69c89003
, finished
For release/0.3.4
20 minutes 15 seconds, queued for 1 seconds