Skip to content

Conversation

@chromium-wpt-export-bot
Copy link
Collaborator

Spec PR: whatwg/html#11758

Bug: 357649033
Change-Id: I259786e661f5eeb7f3cb6d1c29cce9c82f92795c
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/7262091
Reviewed-by: Mason Freed <masonf@chromium.org>
Reviewed-by: Joey Arhar <jarhar@chromium.org>
Commit-Queue: Joey Arhar <jarhar@chromium.org>
Cr-Commit-Position: refs/heads/main@{#1561960}

Spec PR: whatwg/html#11758

Bug: 357649033
Change-Id: I259786e661f5eeb7f3cb6d1c29cce9c82f92795c
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/7262091
Reviewed-by: Mason Freed <masonf@chromium.org>
Reviewed-by: Joey Arhar <jarhar@chromium.org>
Commit-Queue: Joey Arhar <jarhar@chromium.org>
Cr-Commit-Position: refs/heads/main@{#1561960}
Copy link
Collaborator

@wpt-pr-bot wpt-pr-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The review process for this patch is being conducted in the Chromium project.

@chromium-wpt-export-bot chromium-wpt-export-bot merged commit b142a76 into master Dec 22, 2025
20 checks passed
@chromium-wpt-export-bot chromium-wpt-export-bot deleted the chromium-export-e40758f043 branch December 22, 2025 22:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants