Bug#694356: gnome-shell: Applications are dumplicate in Gnome Shell

[Josselin Mouette]

Le dimanche 25 novembre 2012 à 21:14 +0100, Michael Biebl a écrit : 
> You most likely have the Debian Menu enabled.
> Please try removing the menu and menu-xdg package or hiding the Debian
> menu (which is hidden by default in GNOME).

If it is causing this amount of trouble, should we completely ditch the
Debian menu in gnome-menus? (Trivial patch)

-- 
 .''`.      Josselin Mouette
: :' :
`. `'
  `-