> 2016-04-01 12:47 GMT+02:00 Uwe Brauer <[email protected]>: > Then can we close this? :-)
Right now, I'd say yes. I might come back though. _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
