Skip to content

Editors Draft (08) for publication#119

Open
Tom-MITRE wants to merge 1 commit intoopenid:mainfrom
Tom-MITRE:main
Open

Editors Draft (08) for publication#119
Tom-MITRE wants to merge 1 commit intoopenid:mainfrom
Tom-MITRE:main

Conversation

@Tom-MITRE
Copy link
Contributor

Push Draft version 8 to Editors draft repo

Push Draft version 8 to Editors draft repo
@Tom-MITRE
Copy link
Contributor Author

Delete--this PR was redundant. Draft 08 is already posted. Thank you.

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