2014-11-25 15:42 GMT+01:00 Uwe Brauer <o...@mat.ucm.es>: > Grrr, this breaks backwards[1] compatibility
This time I'd call it backward ;-) > Couldn't that have been optional? Well, perhaps yes and I'll think about making it optional, but you took part into the discussion about this change and didn't object :-) Bye, Mosè _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex