Ikumi Keita <[email protected]> writes: >>>>>> Arash Esbati <[email protected]> writes: >> @David and Keita: WDYT, any comments? > > This makes difference only when the file name is "<none>", so it > wouldn't affect almost all regular usage. Thus I'm fine with applying > this change.
Gents, thanks for preparing and commenting this change which I just installed. Therefore I'm closing this report. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
