Forwarded PRs: lua-macros #12

Manually merged
lua merged 2 commits from PR_lua-macros#1 into master 2025-11-07 10:03:53 +01:00