Ikumi Keita <ik...@ikumi.que.jp> writes: >>>>>> Arash Esbati <ar...@gnu.org> 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 bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
