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

Distinction between none and generic #1959

Merged
merged 2 commits into from
Jun 20, 2023

Conversation

ariellalgilmore
Copy link
Contributor

@ariellalgilmore ariellalgilmore commented Jun 19, 2023

Closes #1946

Editorial changes to be consitent when discussing none and generic roles


Preview | Diff

@ariellalgilmore ariellalgilmore added the editorial a change to an example, note, spelling, grammar, or is related to publishing or the repo label Jun 19, 2023
@pkra pkra merged commit 051ed84 into w3c:main Jun 20, 2023
3 checks passed
github-actions bot added a commit that referenced this pull request Jun 20, 2023
SHA: 051ed84
Reason: push, by pkra

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@ariellalgilmore ariellalgilmore deleted the fix/1946-distinction-none-generic branch June 20, 2023 14:54
jnurthen pushed a commit that referenced this pull request Oct 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial a change to an example, note, spelling, grammar, or is related to publishing or the repo
Projects
None yet
Development

Successfully merging this pull request may close these issues.

distinction between none and generic
3 participants