On Oct 17, 2011, at 10:45 AM, Khaled Hosny wrote: > On Mon, Oct 17, 2011 at 09:42:53AM +0200, Ulrike Fischer wrote: >> But as Taco said he will change the engine, resetting the catcode will >> probably not be necessary at all. > > Not before texlive2012 at least.
I am positive that this issue will be fixed in the engine one way or another before texlive 2012...
