[Bug 12369] Re: menu should be desktop independent

[Sebastien Bacher]

closing that bug, that's not really a gnome-menus bug. If we want to
change one day a spec will probably be a better option

** Changed in: gnome-menus (Ubuntu)
       Status: Confirmed => Rejected

** Changed in: gnome-menus (Ubuntu)
     Assignee: Jeff Waugh => Ubuntu Desktop Bugs

-- 
menu should be desktop independent
https://launchpad.net/bugs/12369