"Paul D. Nelson" <[email protected]> writes: > Thanks Ikumi, I pushed the change and hope this message closes it!
Thanks Paul. I also added an entry about the new commands to NEWS.org. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
