David Kastrup <d...@gnu.org> writes: > Forwarding to upstream bug list in case anybody else can identify what's > wrong here.
See e.g. http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16879#8 Using the recent (I think a few hours ago) AUCTeX release should fix it. -- Nicolas Richard _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex