Version: 14.2.0 Arash Esbati <[email protected]> writes:
> Ping! Gentlemen, any comment on this, or should I push the change? I pushed that change. Thanks for this report which I'm now closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
