On Mon, Nov 19 2012, Tassilo Horn <[email protected]> wrote: > Tassilo Horn <[email protected]> writes: > >> I'll write a bug report and link to it from here in a minute. > > Here it is: > > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12930
great, thanks! -- Joost Kremers Life has its moments _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
