Forwarded PRs: #9

Manually merged
chromium merged 1 commits from PR_chromium#5 into master 2025-10-20 07:09:10 +02:00