Processed: remove bogus fixed version
Debian Bug Tracking System
owner at bugs.debian.org
Tue Jan 26 19:03:46 UTC 2016
Processing commands for control at bugs.debian.org:
> # maybe this will let it be archived...
> notfixed 729940 3.8.1-1
Bug #729940 {Done: Pedro Beja <althaser at gmail.com>} [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.
--
729940: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=729940
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the pkg-gnome-maintainers
mailing list