Merge branch 'develop' into 96-dokumentation-vervollstandigen
Passed
Tobias Frisch
created pipeline for commit
f1160029
, finished
1 related merge request: !97 Resolve "Dokumentation vervollständigen"
13 minutes 5 seconds, queued for 8 seconds