Processed: Retitling to source package name

To: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Cc: peter collingbourne <pcc03@doc.ic.ac.uk> (wnpp #437944), <wnpp@debian.org> (wnpp #437944)
Subject: Processed: Retitling to source package name
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 31 Dec 2007 05:30:02 +0000
Message-id: <[🔎] handler.s.C.119907883910407.transcript@bugs.debian.org>
In-reply-to: <20071231052711.GB28303@doc.ic.ac.uk>
References: <20071231052711.GB28303@doc.ic.ac.uk>

Processing commands for control@bugs.debian.org:

> retitle 437944 ITP: prover9-manual -- documentation for Prover9 and associated programs
Bug#437944: ITP: prover9-doc -- documentation for Prover9 and associated programs
Changed Bug title to `ITP: prover9-manual -- documentation for Prover9 and associated programs' from `ITP: prover9-doc -- documentation for Prover9 and associated programs'.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

Prev by Date: Bug#458405: Hermes packages (and source)
Next by Date: Bug#458424: ITP: featureserver -- A simple RESTful geographic feature web service.
Previous by thread: Bug#458405: Hermes packages (and source)
Next by thread: Bug#458424: ITP: featureserver -- A simple RESTful geographic feature web service.
Index(es):
- Date
- Thread