Commit 7b692409 authored by Markus Scheidgen's avatar Markus Scheidgen
Browse files

Minor GUI fixes.

parent b92d5f66
Pipeline #67211 passed with stages
in 28 minutes and 58 seconds