Merge branch 'version0.1' into 'dev'
Passed
Hock, Martin
created pipeline for commit
d116be05
, finished
1 related merge request: !12 v.0.1 for alpha release
57 seconds, queued for 14 seconds