Hi Reuben, thank you for your analysis. I need some time to think about it and decide if it should be forwarded upstream; meanwhile I suggest you to read point 8 of AUCTeX 11.87 FAQ, and, more generally, bug #695282. I think that would fix your problem.
-- Ciao, Davide -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
