Processed: retitle 554263 to ITA: proofgeneral -- generic interface for proof assistants - common package ...
Processing commands for control@bugs.debian.org:
> retitle 554263 ITA: proofgeneral -- generic interface for proof assistants - common package
Bug #554263 [wnpp] O: proofgeneral -- generic interface for proof assistants - common package
Changed Bug title to 'ITA: proofgeneral -- generic interface for proof assistants - common package' from 'O: proofgeneral -- generic interface for proof assistants - common package'
> owner 554263 !
Bug #554263 [wnpp] ITA: proofgeneral -- generic interface for proof assistants - common package
Owner recorded as Stéphane Glondu <glondu@debian.org>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
554263: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554263
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: