Re: Lua 5.1.1 now available

[David Jones <drj@...>]

D Burgess wrote:
> Thanks for this.
> For 5.1.2 is there any chance of a parameter on string.dump()
> to strip symbols? 

Not a bug fix.  Please resist.

I'd vote for this feature for 5.2 though.  And also to be able to not 
have debugging info in the in-core representation of compiled code.

drj