Re: New lua-l hosted at Google Groups

[Ziyao <ziyao@...>]

On 2023-12-12 04:53, Luiz Henrique de Figueiredo wrote:

> As part of the migration of lua.org to a new host, we'll be moving
> this list to Google Groups:

Suggests freelists.org again, I think it is definitely a better provider
than Google.

--
Ziyao