Merge remote-tracking branch 'origin/merge-127-ui-improvements' into merge-127-ui-improvements
Passed
Dominik Seeger
created pipeline for commit
412ed8ed
, finished
For master
7 minutes 44 seconds, queued for 2 seconds