Processed: Re: Bug#71432: tetex-extra must be dependant of "texinfo" package

To: Christoph Martin <martin@uni-mainz.de>
Cc: teTeX maintainers <debian-tetex-maint@lists.debian.org>(tetex-extra #71432)
Subject: Processed: Re: Bug#71432: tetex-extra must be dependant of "texinfo" package
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 10 Dec 2000 09:04:59 -0600
Message-id: <[🔎] handler.s.C.97645789712311.transcript@bugs.debian.org>
In-reply-to: <[🔎] 14899.37027.2853.451308@arthur.zdv.Uni-Mainz.DE>
References: <[🔎] 14899.37027.2853.451308@arthur.zdv.Uni-Mainz.DE>

Processing commands for control@bugs.debian.org:

> retitle 71432 tetex-extra must be dependant of "texinfo" package
Bug#71432: 
Changed Bug title.

> tags 71432 +moreinfo
Unknown tag/s: +moreinfo.
Recognized are: patch wontfix moreinfo unreproducible fixed potato woody sid help security.

Bug#71432: tetex-extra must be dependant of "texinfo" package
Tags added: 

> thanks
Stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#71432: tetex-extra must be dependant of "texinfo" package
  - From: Christoph Martin <martin@uni-mainz.de>

Prev by Date: Processed: Re: Bug#73648: Tetex-extra doesn't rehash the installed tex styles
Next by Date: Processed: tags 79213 moreinfo
Previous by thread: Bug#71432: tetex-extra must be dependant of "texinfo" package
Next by thread: Bug#71432: tetex-extra must be dependant of "texinfo" package
Index(es):
- Date
- Thread