|
| From: | Arash Esbati |
| Subject: | Re: Running pdftex on auctex.texi with texinfo 2023-01-02.21 fails |
| Date: | Sun, 08 Jan 2023 16:28:15 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 |
David Kastrup <dak@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
| [Prev in Thread] | Current Thread | [Next in Thread] |