Bug#672480: prooftree: changing back from ITP to RFP

[Lucas Nussbaum <lucas@debian.org>]

retitle 672480 RFP: prooftree -- proof tree visualization for Proof General
noowner 672480
tag 672480 - pending
thanks

Hi,

This is an automatic email to change the status of prooftree back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 12 months.

If you are still interested in adopting prooftree, please send a mail to
<control@bugs.debian.org> with:

 retitle 672480 ITP: prooftree -- proof tree visualization for Proof General
 owner 672480 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <672480@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team <debian-qa@lists.debian.org>