Skip to content
GitLab
Explore
Sign in
Resolve "GUI updates"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Lauri Himanen
requested to merge
723-gui-updates
into
v1.0.0
Jan 20, 2022
Overview
0
Commits
8
Pipelines
7
Changes
19
Expand
Closes
#723 (closed)
Edited
Jan 24, 2022
by
Lauri Himanen
Merge request reports