Commit 6faa1770 authored by Markus Scheidgen's avatar Markus Scheidgen
Browse files

Merge branch '723-gui-updates' into 'v1.0.0'

Resolve "GUI updates"

See merge request !534
parents 0b5a19e7 cccfb001
Pipeline #120489 passed with stages
in 30 minutes and 53 seconds