Arash Esbati <[email protected]> writes: > I will wait another day or two before installing that change.
I pushed that change, closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
