Re: resend: [PATCH] ignoring Info extensions

[Eli Zaretskii]

> From: Jan Nieuwenhuizen <address@hidden>
> Date: Thu, 11 Mar 2004 20:47:57 +0100
> 
> > I think it would be good to post the code to the list and ask "someone"
> > to make sure it gets into the RC branch (somehow).
> 
> Done, patch below.

Thanks!

> +;; Texinfo 4.7 will add cookies of the form address@hidden CONTENTS 
> address@hidden

Please use present or past tense here.  For one thing, Texinfo 4.7
is already in pretest.  For another, a year from now that "will add"
will we wrong.