WIP: Forwarded PR: ninja #2

Draft
adamm wants to merge 1 commits from PR_ninja#1 into master

1 Commits

Author SHA256 Message Date
AutoGits PR Review Bot
3ea5a6bb23 auto-created for ninja
This commit was autocreated by AutoGits PR Review Bot
referencing

PR: testing/ninja#1
2025-06-13 16:41:47 +02:00