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

Tidied up document using tidy-html5 #309

Merged

yoavweiss merged 1 commit into gh-pages from html-tidy

Jan 11, 2022

Contributor

github-actions bot commented Jan 11, 2022 •

edited by pr-preview bot

Loading

Automated changes by create-pull-request GitHub action


          chore: tidy up index.html

a6113dd

yoavweiss approved these changes

View reviewed changes

w3cbot commented Jan 11, 2022

yoavweiss marked as non substantive for IPR from ash-nazg.

yoavweiss merged commit dc1f469 into gh-pages

yoavweiss added a commit to yoavweiss/resource-timing that referenced this pull request


          Merge branch 'gh-pages' of github.com:w3c/resource-timing into gh-pages

12d4ca5

* 'gh-pages' of github.com:w3c/resource-timing:
  Clean up unused definitions and other respec errors (w3c#310)
  chore: tidy up index.html (w3c#309)

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