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

Minor editorial revisions to intro #522

Merged
merged 1 commit into from
Nov 16, 2017
Merged

Minor editorial revisions to intro #522

merged 1 commit into from
Nov 16, 2017

Conversation

sh0ji
Copy link
Contributor

@sh0ji sh0ji commented Nov 15, 2017

These are my edits per #519.

@mcking65 mcking65 self-assigned this Nov 16, 2017
@mcking65
Copy link
Contributor

Thank you @sh0ji. Looks good except for one small issue on line 71 that I will fix after merging.

For future PRs, I can make a cleaner history if you make your changes in a branch in your fork and then leave the box checked that allows me to push to that branch. Then, I would have been able to make the minor correction, push it to your fork, and then squash the 2 commits when I merge into the practices repo.

@mcking65 mcking65 merged commit fc5d1d5 into w3c:master Nov 16, 2017
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