Processed: remove bogus fixed version

[Debian Bug Tracking System]

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