Jeremy Bryant <j...@jeremybryant.net> writes: > Revised patch attached.
Thanks, I installed your patch (commit 0d96565d5d), closing. Best, Arash _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex