LuaDist/lua — pull request #8 by tpruvot (2014-07-29 03:21:36+00:00)
Title: Small update for the 5.1 branch

I know this could be old, but...