> So did you solve your problem? Can we close this bug report? Yes, problem solved! Very helpful, thank you.
Dave _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
