Merge pull request #10730 from w3c/sync_b2a7cf25a44b08f438b660fe6e35eb20ff3a73d0

Merge pull request #10730 from sync_b2a7cf25a44b08f438b660fe6e35eb20ff3a73d0