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.

Sign up for GitHub

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

Jump to bottom

Rename "auto popover list" to "showing auto popover list" #9680

Merged
merged 5 commits into from
Sep 26, 2023
Merged

Rename "auto popover list" to "showing auto popover list" #9680

merged 5 commits into from
Sep 26, 2023

Conversation

josepharhar
Copy link
Contributor

@josepharhar josepharhar commented Sep 4, 2023 •
edited by pr-preview bot

This change is editorial.

Fixes #9413

/popover.html ( diff )

@josepharhar josepharhar mentioned this pull request Sep 4, 2023
Closed
annevk
annevk reviewed Sep 18, 2023
View reviewed changes
source Show resolved Hide resolved
source Show resolved Hide resolved
source Show resolved Hide resolved
annevk
annevk reviewed Sep 25, 2023
View reviewed changes
source Show resolved Hide resolved
@annevk annevk merged commit 88639ce into whatwg:main Sep 26, 2023
2 checks passed
@domenic domenic added clarification Standard could be clearer topic: popover The popover attribute and friends labels Nov 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@annevk annevk annevk approved these changes

Assignees
No one assigned
Labels
clarification Standard could be clearer topic: popover The popover attribute and friends
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Popover: consider renaming "auto popover list" to "auto showing popover list"
3 participants
@josepharhar @annevk @domenic