Merge branch 'publish' into 'dev'
Warning
Hock, Martin
created pipeline for commit
a60887a4
, finished
2 related merge requests: !12 v.0.1 for alpha release, !7 Bring packaging branch up to date
1 minute 1 second, queued for 36 seconds