Mailing list moved Lua 2023-12-12 17:21 Source Original site The mailing list has moved to Google Groups.