Forwarded PRs: rusty_v8 #5

Manually merged
javascript merged 1 commits from PR_rusty_v8#5 into master 2025-07-18 09:02:00 +02:00