Forwarded PRs: rusty_v8 #4

Manually merged
javascript merged 1 commits from PR_rusty_v8#4 into master 2025-07-17 22:55:11 +02:00