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 this doesn’t help users of other desktop environments, but > hopefully for GNOME the Debian menu won’t ever be a problem anymore. > Downgrading, I don't think grave is appropriate. Cheers, Julien
signature.asc
Description: Digital signature
