Merge remote-tracking branch 'origin/merge-127-ui-improvements' into merge-127-ui-improvements
Passed
Dominik Seeger
created pipeline for commit
412ed8ed
, finished
1 related merge request: !135 Merge 127 ui improvements
12 minutes 24 seconds, queued for 3 seconds