Re: Running pdftex on auctex.texi with texinfo 2023-01-02.21 fails

[Arash Esbati]

David Kastrup <d...@gnu.org> writes:

> Right.  I tend to forget that I have push access...

Thanks.  I'd say the only way is to use that privilege more often :)

Best, Arash