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 <> 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]

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)