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

Use “W3C”, not “the W3C” #730

Merged
merged 1 commit into from
Apr 5, 2023
Merged

Use “W3C”, not “the W3C” #730

merged 1 commit into from
Apr 5, 2023

Conversation

frivoal
Copy link
Collaborator

@frivoal frivoal commented Apr 5, 2023 •
edited by pr-preview bot
Loading

see #728

Preview | Diff

@frivoal frivoal mentioned this pull request Apr 5, 2023
Closed
koalie
koalie approved these changes Apr 5, 2023
View reviewed changes
Copy link
Contributor

@koalie koalie left a comment

Choose a reason for hiding this comment

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

👍👌thanks!

@frivoal frivoal merged commit e29a2cb into w3c:main Apr 5, 2023
@frivoal frivoal added the Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion label Apr 5, 2023
@frivoal frivoal added this to the Process 2023 milestone Apr 5, 2023
@frivoal frivoal deleted the w3c-without-the branch April 5, 2023 23:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fantasai fantasai fantasai approved these changes

@plehegar plehegar plehegar approved these changes

@koalie koalie koalie approved these changes

Assignees
No one assigned
Labels
Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion Type: Editorial improvements
Projects
None yet
Milestone
Process 2023
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@frivoal @fantasai @plehegar @koalie