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)
Use menus less

See merge request GNOME/gtk!1098


Trivial merge