Skip to content
GitLab
Explore
Sign in
GNOME
polari
Merge requests
!53
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 25, 2018
Overview
2
Commits
2
Pipelines
4
Changes
3
Expand
!50 (merged)
was reverted for 3.30, but I can't (figure out how to) reopen that MR for 3.32 ...
Merge request reports