Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename selectmenu to selectlist #41374

Merged
merged 1 commit into from
Aug 11, 2023

Conversation

chromium-wpt-export-bot
Copy link
Collaborator

@chromium-wpt-export-bot chromium-wpt-export-bot commented Aug 7, 2023

This was decided in OpenUI here:
openui/open-ui#773

Bug: 1121840
Change-Id: If3bc31860a48e0f3842481774cb874cbd42a8bb7
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/4754199
Auto-Submit: Joey Arhar <[email protected]>
Reviewed-by: Chris Bookholt <[email protected]>
Commit-Queue: Joey Arhar <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1182736}

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 force-pushed the chromium-export-cl-4754199 branch 7 times, most recently from 8457e16 to b747399 Compare August 9, 2023 16:05
@chromium-wpt-export-bot chromium-wpt-export-bot force-pushed the chromium-export-cl-4754199 branch 6 times, most recently from 3cbeebe to adb019b Compare August 11, 2023 16:02
This was decided in OpenUI here:
openui/open-ui#773

Bug: 1121840
Change-Id: If3bc31860a48e0f3842481774cb874cbd42a8bb7
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/4754199
Auto-Submit: Joey Arhar <[email protected]>
Reviewed-by: Chris Bookholt <[email protected]>
Commit-Queue: Joey Arhar <[email protected]>
Cr-Commit-Position: refs/heads/main@{#1182736}
@chromium-wpt-export-bot chromium-wpt-export-bot merged commit a538587 into master Aug 11, 2023
17 of 19 checks passed
@chromium-wpt-export-bot chromium-wpt-export-bot deleted the chromium-export-cl-4754199 branch August 11, 2023 20:48
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