Skip to content
GitLab
Explore
Sign in
GNOME
polari
Merge requests
!50
Remove app menu
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/polari:remove-app-menu
into
master
Jul 16, 2018
Overview
2
Commits
2
Pipelines
2
Changes
3
Expand
See
https://wiki.gnome.org/Design/Whiteboards/AppMenuMigration
Merge request reports