Processed: prooftree: changing back from ITP to RFP

To: Lucas Nussbaum <lucas@debian.org>
Cc: hendrik@askra.de, wnpp@debian.org
Subject: Processed: prooftree: changing back from ITP to RFP
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 27 May 2013 13:47:53 +0000
Message-id: <[🔎] handler.s.C.136966110231442.transcript@bugs.debian.org>
References: <[🔎] 1369661060.091799.4597.nullmailer@xanadu.blop.info>

Processing commands for control@bugs.debian.org:

> retitle 672480 RFP: prooftree -- proof tree visualization for Proof General
Bug #672480 [wnpp] ITP: prooftree -- proof tree visualization for Proof General
Changed Bug title to 'RFP: prooftree -- proof tree visualization for Proof General' from 'ITP: prooftree -- proof tree visualization for Proof General'
> noowner 672480
Bug #672480 [wnpp] RFP: prooftree -- proof tree visualization for Proof General
Removed annotation that Bug was owned by Hendrik Tews <hendrik@askra.de>.
> tag 672480 - pending
Bug #672480 [wnpp] RFP: prooftree -- proof tree visualization for Proof General
Ignoring request to alter tags of bug #672480 to the same tags previously set
> thanks
Stopping processing here.

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

Reply to:

References:
- Bug#672480: prooftree: changing back from ITP to RFP
  - From: Lucas Nussbaum <lucas@debian.org>

Prev by Date: Processed: python-bulkwhois: changing back from ITP to RFP
Next by Date: Processed: glexec: changing back from ITP to RFP
Previous by thread: Bug#672480: prooftree: changing back from ITP to RFP
Next by thread: Bug#673634: libjs-slidy: changing back from ITP to RFP
Index(es):
- Date
- Thread