[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- 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 <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)