Hi Arash, >>>>> 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. Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine #Gaza #StopMassiveKilling #CeasefireNOW _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
