Hi Christoph, 2016-06-25 21:00 GMT+02:00 Christoph Paulik <[email protected]>: > 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
