Arash Esbati <[email protected]> writes: > I'll push the following change tomorrow unless there are other > comments:
No further comments, so I pushed that change (217b46b2cf) and therefore closing this report. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
