Merge branch 'fix-menu-padding' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 22 May 2023 20:50:56 +0000 (20:50 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 22 May 2023 20:50:56 +0000 (20:50 +0000)
menus: Avoid unnecessary right padding

Closes #5839

See merge request GNOME/gtk!6008


Trivial merge