search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
146 stars 40 forks source link

Tidied up document using tidy-html5 #383

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 3 months ago

Automated changes by create-pull-request GitHub action

Preview | Diff

w3cbot commented 3 months ago

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