Arash Esbati <ar...@gnu.org> writes: > I'd like to propose this change in order to fix and close this issue;
I installed that change, and therefore closing this report. Best, Arash _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
