search

w3c / push-api

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

Remove errant character #317

Closed martinthomson closed 4 years ago

martinthomson commented 4 years ago

Preview | Diff

marcoscaceres commented 4 years ago

Ok to merge this. The TravisCI error already has an associated bug.