Skip to content

Id format changes in W3C mode#1195

Merged
trask merged 3 commits into
masterfrom
trask/w3c-id-format
Feb 12, 2020
Merged

Id format changes in W3C mode#1195
trask merged 3 commits into
masterfrom
trask/w3c-id-format

Conversation

@trask

@trask trask commented Feb 3, 2020

Copy link
Copy Markdown
Member

Resolves #1174

@trask trask requested a review from littleaj February 3, 2020 17:41

@littleaj littleaj left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@trask trask merged commit d1f387f into master Feb 12, 2020
@trask trask deleted the trask/w3c-id-format branch February 24, 2020 05:35
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.

Id format changes in W3C mode

2 participants