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)
commit146223cd7473b2a102f7da5e5466d566ba6c92bc
tree66eb9d470b9fc6c1cd4bb8f9e372c25807578e53
parentd8e7f0a8a90c9fe98af548f103640c38fe233ade
parenta9adf7163f322378787ea63db999b2306e2aeed7
Merge branch 'fix-menu-padding' into 'main'

menus: Avoid unnecessary right padding

Closes #5839

See merge request GNOME/gtk!6008