Processed: reopening 741569, found 741569 in 13.04.2-2

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reopen 741569
Bug #741569 {Done: Olly Betts <olly@survex.com>} [wxmaxima] wxmaxima: Please update to use wxwidgets3.0
'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 wxmaxima/13.04.2-1.1.
> found 741569 13.04.2-2
Bug #741569 [wxmaxima] wxmaxima: Please update to use wxwidgets3.0
Marked as found in versions wxmaxima/13.04.2-2.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
741569: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741569
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems