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

Tidied up document using tidy-html5 #313

Merged
merged 1 commit into from
Jan 12, 2022
Merged

Tidied up document using tidy-html5 #313

merged 1 commit into from
Jan 12, 2022

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jan 12, 2022 •
edited by pr-preview bot
Loading

Automated changes by create-pull-request GitHub action

Preview | Diff
@w3cbot
Copy link

w3cbot commented Jan 12, 2022

yoavweiss marked as non substantive for IPR from ash-nazg.
@yoavweiss yoavweiss merged commit 99134f1 into gh-pages Jan 12, 2022
@yoavweiss yoavweiss deleted the html-tidy branch January 12, 2022 16:06
yoavweiss added a commit to yoavweiss/resource-timing that referenced this pull request Jan 14, 2022
@yoavweiss
Merge branch 'gh-pages' of github.com:w3c/resource-timing into gh-pages
2352d9d 
* 'gh-pages' of github.com:w3c/resource-timing:
  chore: tidy up index.html (w3c#314)
  List all the attributes that will get masked when TAO fails (w3c#311)
  chore: tidy up index.html (w3c#313)
  Fix up a missing section (w3c#312)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants
@w3cbot @yoavweiss