On 28 September 2015 at 00:26, Roberto Ierusalimschy <roberto@inf.puc-rio.br> 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? :)