Closing because Peter found the problem, and it hasn't been an AUCTeX one.
signature.asc
Description: PGP signature
_______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
