Processed: Reopen mistakenly closed wnpp bugs
Processing commands for control@bugs.debian.org:
> reopen 554263
Bug #554263 {Done: Christian Perrier <bubulle@debian.org>} [wnpp] O: proofgeneral -- generic interface for proof assistants - common package
'reopen' may be inappropriate when a bug has been closed with a version;
you may need to use 'found' to remove fixed versions.
> reopen 589106
Bug #589106 {Done: Christian Perrier <bubulle@debian.org>} [wnpp] O: seyon -- Full-featured native X11 communications program
'reopen' may be inappropriate when a bug has been closed with a version;
you may need to use 'found' to remove fixed versions.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
589106: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589106
554263: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554263
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: