Processed: Re: Bug#696530: Worked around in gnome

2013-01-27 Thread Debian Bug Tracking System
Processing control commands: > severity -1 normal Bug #696530 [menu-xdg] menu-xdg: Populates XDG user directory with system entries Bug #697099 [menu-xdg] menu: Wrong categorisation and duplication of menu items. Severity set to 'normal' from 'grave' Severity set to 'normal' from 'grave' -- 696

Bug#696530: Worked around in gnome

2013-01-27 Thread Julien Cristau
Control: severity -1 normal On Wed, Jan 2, 2013 at 21:34:05 +0100, Josselin Mouette wrote: > For the record, since there is still no way to easily blacklist Debian > entries, I’ve uploaded a new gnome-menus package which hardcodes > discarding of anything belonging to menu-xdg. > > Of course th

Bug#696530: Worked around in gnome

2013-01-02 Thread Josselin Mouette
For the record, since there is still no way to easily blacklist Debian entries, I’ve uploaded a new gnome-menus package which hardcodes discarding of anything belonging to menu-xdg. Of course this doesn’t help users of other desktop environments, but hopefully for GNOME the Debian menu won’t ever