Skip to content

gui and server misc changes

Pierre-Eric Pelloux-Prayer requested to merge pepp/umr:gui_misc_changes into main

Extracted from !37.

Merge request reports