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

Editorial: update editor affiliation

8299aff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings
Verify that the generated CDDL files are valid
succeeded Nov 11, 2026 in 20s