Forwarded PRs: #4

Closed
autogits-devel wants to merge 2 commits from PR_luajit2#1 into master

2 Commits

Author SHA256 Message Date
AutoGits PR Review Bot
345368354d auto-created for luajit2
This commit was autocreated by AutoGits PR Review Bot removing
 PR: lua/luajit2#1
2025-07-09 11:25:59 +00:00
AutoGits PR Review Bot
4b8b2769b4 auto-created for luajit2
This commit was autocreated by AutoGits PR Review Bot referencing
 PR: lua/luajit2#1
2025-07-09 11:18:16 +00:00