Bug#93781: 93781 texdoc prefers compressed over uncompressed documents

[Atsuhito Kohda <kohda@pm.tokushima-u.ac.jp>]

From: Hilmar Preusse <hille42@web.de>
Subject: Bug#93781: 93781 texdoc prefers compressed over uncompressed documents
Date: Wed, 27 Aug 2003 08:29:50 +0200

> > Is there a patch or not yet?
> > 
> It is in. I sent it in with the quoted mail from the 2nd of August.
> That patch diffs with the patch already in debian/ and not with the
> texdoc-skript itself.

Sorry, I overlooked attachment part when I searched
BTS web page with mozilla.

Yes it is and also I have that email itself in my box.

Thanks,			  2003-8-29(Fri)

-- 
 Debian Developer & Debian JP Developer - much more I18N of Debian
 Atsuhito Kohda <kohda@debian.org>
 Department of Math., Univ. of Tokushima