On 28 September 2015 at 00:26, Roberto Ierusalimschy <[email protected]> wrote: > This is not a "legal" bug, but it is a "moral" one :-) I take that to mean we'll see it fixed in the next major release? :)