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.