Merge branch 'dev' into resulttable
Failed
Florian Spreckelsen
created pipeline for commit 9e2c6b31
, finished
1 related merge request: !6 Resulttable
29 minutes 4 seconds, queued for 3 seconds