Merge branch 'dev/DocForPreRelease' into 'development'
Failed
Lemmer, Jan
created pipeline for commit
85820716
, finished
2 related merge requests: !13 PreRelease_V0.1, !12 PreRelease_V0.1
60 minutes 0 seconds, queued for 37 seconds