Commit d9837a17 authored by Markus Scheidgen's avatar Markus Scheidgen
Browse files

Minor GUI fixes.

parent 769f314d
Pipeline #65676 passed with stages
in 13 minutes and 48 seconds