Merge branch 'dev' into 'publish-oop'
Passed
Mayr, Hannes
created pipeline for commit
fc5adde9
, finished
1 related merge request: !14 Publish oop
1 minute 0 seconds, queued for 9 seconds