[Debichem-devel] Processed: Re: Bug#715813: marked as done ([Mayhem] Bug report on psi3: detcasman crashes with exit status 139)

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #715813 {Done: Sebastian Ramacher <sramacher at debian.org>} [psi3] [Mayhem] Bug report on psi3: detcasman crashes with exit status 139
'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 gecko-mediaplayer/1.0.9-1.

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