Issue has been tracked down to Ubuntu patchwork of gnome-menus.
Building a vanilla Debian gnome-menus this issue does not occur.
Currently working on an update of one of Ubuntu's specific patches together with an additional patch that works around Ubuntu's other patches.
Issue has been tracked down to Ubuntu patchwork of gnome-menus.
Building a vanilla Debian gnome-menus this issue does not occur.
Currently working on an update of one of Ubuntu's specific patches together with an additional patch that works around Ubuntu's other patches.