On Mon, 10 Apr 2023 at 23:31, Josef Friedrich <josef@friedrich.rocks> wrote:

The documentation and the implementation of the two functions
lua.setluaname and lua.getluaname do not match.

seen it, I will check it in the next two or three days .

luigi