Vangelis Evangelou <evange...@gmail.com> writes: > Hi all. I agree with Paul. Sorry for the oversight. For some reason, > in my local installation, I have what Paul suggests, which is why I > hadn't picked it up when I submitted the patch.
Thank you all for your comments. I installed that change (0caa170649). Best, Arash _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex