Skip to content

Editorial: update editor affiliation - #101

Merged
jugglinmike merged 1 commit into
w3c:mainfrom
jugglinmike:update-editor-affiliation
Nov 11, 2026
Merged

jugglinmike merged 1 commit into
w3c:mainfrom
jugglinmike:update-editor-affiliation

Conversation

@jugglinmike

@jugglinmike jugglinmike commented Nov 11, 2026 •

Copy link
Copy Markdown
Contributor

@jugglinmike jugglinmike reopened this Nov 11, 2026
@jugglinmike
jugglinmike merged commit c342e9c into w3c:main Nov 11, 2026
4 checks passed
@jugglinmike
jugglinmike deleted the update-editor-affiliation branch November 11, 2026 22:03
github-actions Bot added a commit that referenced this pull request Nov 11, 2026
SHA: c342e9c
Reason: push, by jugglinmike

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant