Merge branch 'update0.1' into 'master'
Passed
jens.preussner
created pipeline for commit
59213e12
, finished
For master
6 minutes 4 seconds, queued for 3 seconds