Hi Al, Al Haji-Ali <[email protected]> writes:
> Please find attached a corrected patch. many thanks for the update. I think we have to write something for NEWS.org as well, but we can do that once the patch is merged. @Paul: Do you have any comments? Otherwise, would you like to merge this? Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
