Processed: This bug has already been fixed

To: Peter Palfrader <ppalfrad@cosy.sbg.ac.at>
Cc: Debian QA Group <debian-qa@lists.debian.org>(cgiemail #71197)
Subject: Processed: This bug has already been fixed
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 24 Sep 2000 15:48:37 -0500
Message-id: <[🔎] handler.s.C.96982825015475.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20000924224400.B13332@nautilus.noreply.org>
References: <[🔎] 20000924224400.B13332@nautilus.noreply.org>

Processing commands for control@bugs.debian.org:

> severity 71197 fixed
Bug#71197: Documentation is not in /usr/share/doc
Severity set to `fixed'.

> retitle 71197 [FIXED] Documentation is not in /usr/share/doc
Bug#71197: Documentation is not in /usr/share/doc
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#71197: This bug has already been fixed
  - From: Peter Palfrader <ppalfrad@cosy.sbg.ac.at>

Prev by Date: Bug#71197: This bug has already been fixed
Next by Date: Bug#71197: marked as done ([FIXED] Documentation is not in /usr/share/doc)
Previous by thread: Bug#71197: This bug has already been fixed
Next by thread: Bug#72443: python-xml: Build-Depends
Index(es):
- Date
- Thread