Merge branch 'wip/kill-menu' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 16 Sep 2019 22:10:02 +0000 (22:10 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 16 Sep 2019 22:10:02 +0000 (22:10 +0000)
commit87e7fa9917d89f1ad74a744995ea6c0e81281659
treeaabdefadac66ccf8a6d319f860774548c8379516
parent97231ca231f4fcd84a5dd61f1eec1d7e2c5b703d
parentb14b0efefe840b8ca1ce3077e1170e757bc12340
Merge branch 'wip/kill-menu' into 'master'

Use menus less

See merge request GNOME/gtk!1098