[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: problem with latest texinfo.tex
From: |
Jim Meyering |
Subject: |
Re: problem with latest texinfo.tex |
Date: |
Wed, 09 Nov 2011 21:35:13 +0100 |
Paul Eggert wrote:
> On 11/09/11 11:47, Jim Meyering wrote:
>> I'm sure Karl will
>> do something about this pretty quickly:
>>
>> http://thread.gmane.org/gmane.comp.tex.texinfo.bugs/544
>
> That URL is missing a digit; it should be:
>
> http://article.gmane.org/gmane.comp.tex.texinfo.bugs/5444
Yes, indeed. Thanks!