Forwarded PRs: #9

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

This is a forwarded pull request by AutoGits PR Review Bot
referencing the following pull request(s):

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request(s):
autogits-devel added 1 commit 2025-07-11 16:09:44 +02:00
This commit was autocreated by AutoGits PR Review Bot referencing
 PR: lua/luajit2#2
autogits-devel removed the due date 0001-01-01 2025-07-11 16:09:45 +02:00
autogits-devel requested review from autogits_obs_staging_bot 2025-07-11 16:09:47 +02:00
autogits-devel changed title from Forwarded PRs: luajit2 to Forwarded PRs: 2025-07-11 16:09:54 +02:00
autogits-devel added 1 commit 2025-07-11 16:09:54 +02:00
This commit was autocreated by AutoGits PR Review Bot removing
 PR: lua/luajit2#2
Author
Owner

Pull request no longer contains any changes. Closing.

Pull request no longer contains any changes. Closing.
autogits-devel closed this pull request 2025-07-11 16:09:59 +02:00

Pull request closed

Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: lua/_ObsPrj#9
No description provided.