Skip to content

Added the standard errata management#114

Merged
msporny merged 1 commit into
mainfrom
display-errata
Apr 27, 2025
Merged

Added the standard errata management#114
msporny merged 1 commit into
mainfrom
display-errata

Conversation

@iherman
Copy link
Copy Markdown
Member

@iherman iherman commented Apr 25, 2025

I have reused the errata management used for DID which, in turn, originates from the standard W3C practice these days.

If and when merged, the Errata and PossibleErratum labels must be added to the repo.


Preview | Diff

@msporny
Copy link
Copy Markdown
Member

msporny commented Apr 27, 2025

Purely editorial, required for W3C publication process for Recommendation. Merging.

@msporny msporny merged commit 2e9f868 into main Apr 27, 2025
2 checks passed
@msporny msporny deleted the display-errata branch April 27, 2025 19:18
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.

3 participants