Skip to content

Conversation

chromium-wpt-export-bot
Copy link
Collaborator

@chromium-wpt-export-bot chromium-wpt-export-bot commented Sep 23, 2025

Preparing for proposed change:

whatwg/html#11613

Bug: 384523570

Change-Id: Ic4ba0c31dcf0a1783dd2710462a5061ff8586c52
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/6976604
Commit-Queue: Rune Lillesveen <futhark@chromium.org>
Reviewed-by: Kevin Ellis <kevers@chromium.org>
Cr-Commit-Position: refs/heads/main@{#1519481}

Preparing for proposed change:

whatwg/html#11613

Bug: 384523570

Change-Id: Ic4ba0c31dcf0a1783dd2710462a5061ff8586c52
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/6976604
Commit-Queue: Rune Lillesveen <futhark@chromium.org>
Reviewed-by: Kevin Ellis <kevers@chromium.org>
Cr-Commit-Position: refs/heads/main@{#1519481}
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 538a74c into master Sep 23, 2025
22 checks passed
@chromium-wpt-export-bot chromium-wpt-export-bot deleted the chromium-export-cl-6976604 branch September 23, 2025 18:57
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