Ubuntu
gnome-menus package

  1. Bug #96694
  2. Comment #2

Comment 2 for bug 96694

Revision history for this message
Sebastien Bacher (seb128) wrote :

Thank you for your bug. That's an upstream change, not sure what location is better, it depends if you consider the menu editor as an application or the menu as something to configure