Skip to content

Update specStatus to "unofficial".#44

Closed
gkellogg wants to merge 2 commits intomainfrom
unofficial
Closed

Update specStatus to "unofficial".#44
gkellogg wants to merge 2 commits intomainfrom
unofficial

Conversation

@gkellogg
Copy link
Copy Markdown
Member

@gkellogg gkellogg commented Aug 30, 2022

@gkellogg
Copy link
Copy Markdown
Member Author

gkellogg commented Aug 30, 2022

See speced/respec#4251 for the bug which is messing this up.

@BigBlueHat
Copy link
Copy Markdown
Member

Related to #43

@BigBlueHat
Copy link
Copy Markdown
Member

@pchampin @iherman I think the current status of DNOTE is correct now that we're rechartered. I'm closing this one consequently (and will likely also close #43). Just FYI.

@BigBlueHat BigBlueHat closed this Mar 13, 2026
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.

2 participants