Merge branch 'devel' into 'devel'
Passed
Oliver Falk
created pipeline for commit
abadbd17
, finished
1 related merge request: !99 Merge in latest devel
15 minutes 7 seconds, queued for 449 seconds