------------------------------------------------------------------------ r4533 | taco | 2012-12-22 13:23:15 +0100 (Sat, 22 Dec 2012) | 2 lines Changed paths: M /trunk/source/texk/web2c/mplibdir/mp.w much better mp leak patch ------------------------------------------------------------------------ r4534 | taco | 2012-12-22 14:06:38 +0100 (Sat, 22 Dec 2012) | 2 lines Changed paths: M /trunk/source/texk/web2c/luatexdir/lua/lstrlibext.c fix stripped string.dump() on win32 ------------------------------------------------------------------------