On Tue, Oct 31, 2006 at 08:05:21PM +0100, Georg Baum wrote: > Am Dienstag, 31. Oktober 2006 12:23 schrieb Enrico Forestieri: > > > So, can the patch be applied? > > If you ask me yes.
I simply want to be sure that nobody has a better solution and avoid a commit/revert ping pong. I think I waited enough for someone else to step in and will now commit it. Tracking TeX catcodes could be done later. -- Enrico
