Merge commit '0ea45b9cd43ce1247eb3eee9bfd5cee3d19068e7' into main
This is Lua 5.4.2, released on 13 Nov 2020. For installation instructions, license details, and further information about Lua, see doc/readme.html.
