Processed: Re: Bug#756197: marked as done (gnome-menus: new upstream version fixes crashes)

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #756197 {Done: Pedro Beja <althaser at gmail.com>} [src:gnome-menus] gnome-menus: new upstream version fixes crashes
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions 3.10.1-1.
> found -1 3.10.1-1
Bug #756197 [src:gnome-menus] gnome-menus: new upstream version fixes crashes
Marked as found in versions gnome-menus/3.10.1-1.

-- 
756197: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=756197
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems