Jim <[email protected]> writes: > Attached find a patch for bug#80454 with Arash's improvements factored > in.
Many thanks for the updated patch. I installed it with commit c34b8d44. Closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
