polari merge requestshttps://gitlab.gnome.org/GNOME/polari/-/merge_requests2019-01-24T18:35:29Zhttps://gitlab.gnome.org/GNOME/polari/-/merge_requests/53Remove app menu2019-01-24T18:35:29ZFlorian Müllnerfmuellner@gnome.orgRemove app menu!50 was reverted for 3.30, but I can't (figure out how to) reopen that MR for 3.32 ...!50 was reverted for 3.30, but I can't (figure out how to) reopen that MR for 3.32 ...GNOME 3.32