Merge branch 'develop' into feature/#56-section-wise-collation
Passed
Michelle Weidling
created pipeline for commit
42691c7e
, finished
1 related merge request: !40 Feature/#56 section wise collation
5 minutes 54 seconds, queued for 1 seconds