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.

Sign up for GitHub

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

Jump to bottom

Resubmitting because the document moved #106

Closed
wants to merge 1 commit into from
Closed

Resubmitting because the document moved #106

wants to merge 1 commit into from

Conversation

halindrome
Copy link
Contributor

As per Nick's request, reapplying the agreed upon change from #64.

@halindrome
Resubmitting because the document moved
9d13d4a 
As per Nick's request, reapplying the agreed upon change from w3c#64.
@halindrome
Copy link
Contributor Author

Technically the definitions moved - my bad. But you get the idea.

@adrianba
Copy link
Contributor

adrianba commented Apr 1, 2016

The same change was in #64 merged as e72f051.

@adrianba adrianba closed this Apr 1, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@halindrome @adrianba