[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Update to the GitHub repository
- From: Pierre Chapuis <catwell@...>
- Date: Mon, 16 Jul 2018 14:55:48 +0200
Hello list,
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
--
Pierre Chapuis