>>>>> "Braun, Michael" <[email protected]> writes: > Ikumi: > It does appear to have fixed the problem. I am no longer getting the > warnings.
> Thanks for the patch. > Michael Thanks a lot! I pushed the change into the git repository. Regards, Ikumi Keita _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
