I would second the idea of putting the patch out as 5.1.4 patch. On 15/3/2010 11:49 PM, Leo Razoumov wrote:
It would be great if this patch (or its equivalent) makes its way into official Lua-5.1.4 patch list at http://www.lua.org/bugs.html --Leo--