Update to the GitHub repository

[Pierre Chapuis <catwell@...>]

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