Glenn Morris <[email protected]> writes:

> Or maybe it's a real error rather than just a message with the word
> "error" in it, I don't remember. Anyway, it's this
>
> http://lists.gnu.org/archive/html/auctex-diffs/2012-07/msg00000.html

It's harmless.  It has been wrong for a long time and still AUCTeX
worked.

Bye,
Tassilo

_______________________________________________
auctex-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to