Skip to content
This repository has been archived by the owner on Nov 11, 2019. It is now read-only.

Fix #108: refine acknowledgements. #109

Merged
merged 1 commit into from
Feb 17, 2017
Merged

Fix #108: refine acknowledgements. #109

merged 1 commit into from
Feb 17, 2017

Conversation

yongsheng
Copy link
Collaborator

Use the real name plus their github accouts.

Use the real name plus their github accouts.
@yongsheng
Copy link
Collaborator Author

@chaals please take a look.

@chaals chaals merged commit 232f575 into w3c:dom4.1 Feb 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants