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

Reply via email to