Hi,gnome recommands menu-xdg, which in turn recommands menu, so in the default configuration we get both with gnome. I also have the duplication problem, but I don't remember having activated anything in the past. Now my configuration is years old, so I can't remember everything...
So in short, how do we disable it ? Thanks, -- Rémi -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org