[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: Update to the GitHub repository
- From: Daurnimator <quae@...>
- Date: Wed, 18 Jul 2018 10:50:10 +1000
On 16 July 2018 at 22:55, Pierre Chapuis <email@example.com> wrote:
> not sure who can do that (daurnimator?) but apparently 5.3.5 is not on the GitHub repository , can someone please update it?
>  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)