forcemerge 443461 493961 thanks On Thu, Aug 07, 2008 at 10:48:37AM +0200, Christian Perrier wrote: > As a consequence, that bug should be reassigned to gnome-menus.
It seems it is already reported (twice) and tagged "wontfix". > From the quoted changelog entry, it's very likely that, this decision > being a deliberate decision, the "bug" will not be fixed. Maybe it's not a bug in the first place. I suspect that the maintainers believe the Debian menu is entirely redundant for the vast majority of GNOME users. Perhaps they're right. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]