Processed: proofgeneral: changing back from ITA to O

To: Lucas Nussbaum <lucas@debian.org>
Cc: Stéphane Glondu <glondu@debian.org> (owner of 554263 for {554263}), wnpp@debian.org (wnpp for {554263})
Subject: Processed: proofgeneral: changing back from ITA to O
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 27 Jul 2011 16:52:33 +0000
Message-id: <[🔎] handler.s.C.131178283415299.transcript@bugs.debian.org>
In-reply-to: <[🔎] 1311782548.178829.30588.nullmailer@xanadu.blop.info>
References: <[🔎] 1311782548.178829.30588.nullmailer@xanadu.blop.info>

Processing commands for control@bugs.debian.org:

> retitle 554263 O: proofgeneral -- generic interface for proof assistants - common package
Bug #554263 [wnpp] ITA: proofgeneral -- generic interface for proof assistants - common package
Changed Bug title to 'O: proofgeneral -- generic interface for proof assistants - common package' from 'ITA: proofgeneral -- generic interface for proof assistants - common package'
> noowner 554263
Bug #554263 [wnpp] O: proofgeneral -- generic interface for proof assistants - common package
Removed annotation that Bug was owned by 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:

References:
- Bug#554263: proofgeneral: changing back from ITA to O
  - From: Lucas Nussbaum <lucas@debian.org>

Prev by Date: Bug#535898: skynet: closing old inactive RFP
Next by Date: Bug#513017: avantfax: closing old inactive RFP
Previous by thread: Bug#554263: proofgeneral: changing back from ITA to O
Next by thread: Bug#594051: osd-lyrics: changing back from ITP to RFP
Index(es):
- Date
- Thread