Hi Denis, I cannot work on this right now, but I'm writing to acknowledge I can reproduce the problem you reported. I hope to be able to find some time to look into it.
Bye, Mosè _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
