Uwe Brauer <[email protected]> writes:

> This function is however the source of the problems I reported in my
> bug report and removing it solves the problem reported.  So the bug
> should be closed.

Done.  Those are my favorite bugs. :-)

Bye,
Tassilo



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

Reply via email to