Jim Diamond <[email protected]> writes: > Please find attached a patch which fixes bug80430.
Many thanks for the patch. I slightly massaged that change (re-filled the commit message, deleted the empty line before (unless...) and installed it. Closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
