Hi Arash,

2015-06-13 21:06 GMT+02:00 Arash Esbati <esb...@gmx.de>:
> Any comment?

Yes: patch applied, thank you ;-)

Bye,
Mosè

_______________________________________________
auctex-devel mailing list
auctex-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to