Lua 4.0 now official

[Luiz Henrique de Figueiredo <lhf@...>]

Lua 4.0 is now the official version of Lua.
The tar file in our sites is *exactly* the same released on Nov 6.
--lhf