On Thu, Jun 23, 2016 at 1:57 PM, Dirk Laurie
<dirk.laurie@gmail.com> wrote:
> "deprecated" in Lua documentation means "scheduled to be scrapped at the next release". Do we really wish to go that far?
No, I meant that in a more pedestrian way.
Cheers,
V.