Re: [NoW] About to-be-closed new syntax

[Daurnimator <quae@...>]

On Thu, 21 Feb 2019 at 18:51, Dirk Laurie <dirk.laurie@gmail.com> wrote:
>
> Op Wo. 20 Feb. 2019 om 23:44 het Egor Skriptunoff
> <egor.skriptunoff@gmail.com> geskryf:
>
> > Lua 5.4 (as of 2019-Jan-30 on Github)
>
> If is only on Github, not in the latest work version, it does not
> belong on lua-l, not even in NoW. There is a Github "issue" mechanism
> that should be used.

That is not true. Github issues are turned off for the lua repository,
as this mailing list is the correct place to report+discuss them.