lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


On 16 July 2018 at 22:55, Pierre Chapuis <catwell@archlinux.us> wrote:
> not sure who can do that (daurnimator?) but apparently 5.3.5 is not on the GitHub repository [1], can someone please update it?
>
> [1] https://github.com/lua/lua

5.3.5 wasn't tagged by Roberto in the actual source files.
However I do recall a 5.3 branch recently that it appears I didn't push.
Will have a look when I get the chance (probably tomorrow night)