... the default should stay lua5.1...

Done.

We can document that it will change in the release after...

Is that something I should change/add to this PR? The NEWS file?

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.