Re: problem with latest texinfo.tex

2011-11-09 Thread Jim Meyering
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/544

Re: problem with latest texinfo.tex

2011-11-09 Thread Paul Eggert
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