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)
commite12a580b0b9c0933794c94e6d937f68824ae5189
tree1d22d9bdb003fa5659e8366674d9801e177bc340
parentad6fe9d6a0998ad7dd7c8a73112ca3ab1461acce
parent52e0eef6cb7b58c18f7d4a51057b824dd86cf623
Merge branch 'kill-tree-menu' into 'master'

Menu removal, part 2

See merge request GNOME/gtk!1270