Merge branch 'Dev' into 'master'
Passed
Markus Holzer
created pipeline for commit
2464ef8e
, finished
For release/0.3.4
15 minutes 22 seconds, queued for 2 seconds