Update draft number for 1.0, add errata to title, add history section #662
+15
−3
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
selfissued
reviewed
Nov 6, 2025
selfissued
reviewed
Nov 6, 2025
selfissued
requested changes
Nov 6, 2025
Member
selfissued
left a comment
selfissued
left a comment
There was a problem hiding this comment.
This is the start of draft 19.
Co-authored-by: Michael B. Jones <[email protected]>
selfissued
approved these changes
Nov 6, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Administrative changes to put the 1.0 spec into a state where we can start adding any potential errata updates.
I don't think we're definitely at the point where we know we will want to publish a 1.0 errata, but we at least need to "Editor's draft" back to the version published on GitHub pages, and so it seemed sensible to make the other changes too.