Merge branch 'develop' into feature/autoformat
Passed
Johannes Mey
created pipeline for commit 1bd38d21
, finished
1 related merge request: !2 Feature/autoformat
16 minutes 27 seconds, queued for 675 seconds