Skip to content
GitLab
Explore
Sign in
Resolves issue
#665
Code
Review changes
Check out branch
Download
Patches
Plain diff
Lauri Himanen
requested to merge
gui-polish
into
v1.0.0
Nov 29, 2021
Overview
1
Commits
25
Pipelines
1
Changes
23
Expand
See issue
#665 (closed)
.
Edited
Nov 29, 2021
by
Lauri Himanen
Merge request reports
Loading