Thanks Ikumi, I pushed the change and hope this message closes it!

Paul



_______________________________________________
bug-auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-auctex

Reply via email to