Skip to content
GitLab
Explore
Sign in
GNOME
gtk
Merge requests
!806
Kill menu display
Code
Review changes
Check out branch
Download
Patches
Plain diff
Matthias Clasen
requested to merge
kill-menu-display
into
master
May 01, 2019
Overview
0
Commits
2
Pipelines
1
Changes
4
Expand
Part of cleaning up display handling
Merge request reports