Merge branch 'kill-tree-menu' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 30 Dec 2019 01:46:29 +0000 (01:46 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 30 Dec 2019 01:46:29 +0000 (01:46 +0000)
Menu removal, part 2

See merge request GNOME/gtk!1270


Trivial merge