Forwarded PRs: #7

Manually merged
chromium merged 1 commits from PR_chromium#5 into master 2025-10-14 11:29:48 +02:00