Merge branch 'oop' into 'dev'
Passed
Mayr, Hannes
created pipeline for commit
40a05b46
, finished
1 related merge request: !12 v.0.1 for alpha release
53 seconds, queued for 0 seconds