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