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
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