Tassilo Horn <t...@gnu.org> writes: > Ah, right. Well, then I guess your patch makes sense. Feel free to commit it.
Done. Best, Arash _______________________________________________ auctex mailing list auctex@gnu.org https://lists.gnu.org/mailman/listinfo/auctex