Processed: remove bogus fixed version

Debian Bug Tracking System owner at
Tue Jan 26 19:03:46 UTC 2016

Processing commands for control at

> # maybe this will let it be archived...
> notfixed 729940 3.8.1-1
Bug #729940 {Done: Pedro Beja <althaser at>} [gnome-menus] gnome-menus: desktop entries duplicated in "Other" menu
There is no source info for the package 'gnome-menus' at version '3.8.1-1' with architecture ''
Unable to make a source version for version '3.8.1-1'
No longer marked as fixed in versions 3.8.1-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
Debian Bug Tracking System
Contact owner at with problems

More information about the pkg-gnome-maintainers mailing list