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

Editorial: fix HTML links and xrefs #66

Merged

marcoscaceres merged 1 commit into gh-pages from fix_srcet_link

Dec 20, 2017

Contributor

marcoscaceres commented Dec 20, 2017 •

edited

Loading

Closes #64

@gericci, please take a look! If it looks good to you, I'll merge.


          Editorial: fix HTML links and xrefs

ec8a3e0

gericci commented Dec 20, 2017

@marcoscaceres Looks good, yes :)

marcoscaceres merged commit 9a141bf into gh-pages

marcoscaceres deleted the fix_srcet_link branch

December 20, 2017 09:20

Contributor Author

marcoscaceres commented Dec 20, 2017

We probably need to ask the w3c to republish.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment