Hi Christoph, 2016-06-25 21:00 GMT+02:00 Christoph Paulik <cpau...@gmail.com>: > Dear Mosè, > > The patch solves the problem. Thank you for the quick fix.
Thank you for the confirmation! Patch installed. Bye, Mosè _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex