Jeremy Bryant <[email protected]> writes: > OK, revised patch from current master. > > Does this apply now?
Yes, thanks. I installed that change, closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
