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 bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex