Skip to content

Conversation

foolip
Copy link
Member

@foolip foolip commented Jun 12, 2018

No description provided.

@mkruisselbrink mkruisselbrink merged commit 43c5a65 into w3c:gh-pages Jun 12, 2018
@mkruisselbrink
Copy link
Collaborator

Thanks!

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