Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

remove duplicate ids for peeridentity #1

Merged
merged 1 commit into from
Oct 16, 2014

Conversation

dontcallmedom
Copy link
Member

No description provided.

fluffy added a commit that referenced this pull request Oct 16, 2014
remove duplicate ids for peeridentity
- this is bug fix so just merged it
@fluffy fluffy merged commit 8df11c6 into w3c:master Oct 16, 2014
adam-be pushed a commit that referenced this pull request Sep 3, 2015
aboba added a commit that referenced this pull request Oct 22, 2015
dontcallmedom pushed a commit that referenced this pull request Aug 26, 2016
alvestrand pushed a commit that referenced this pull request May 23, 2019
Update from original
@alvestrand alvestrand mentioned this pull request Sep 26, 2019
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