Hi Vincent, sorry, I've forgotten to mention in my last mail that the patch won't apply cleanly. Looking at the diff for ChangeLog, it seems it's based on some quite old version. Could you update it to apply on the current git head, please?
It also contains trailing whitespace which it shouldn't (and git won't apply by default). Bye, Tassilo _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
