Hi Arash, >>>>> Arash Esbati <ar...@gnu.org> writes: > My tendency is to install the change. It seems to fix a bug, and fixes > before release are OK, at least in my book :-)
Alright, I've pushed the commit. Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex