search

w3c / push-api

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

Use NotAllowedError instead of defining a new PermissionDeniedError. … #192

Closed martinthomson closed 8 years ago

martinthomson commented 8 years ago

… Closes #107.

mvano commented 8 years ago

Neat, thanks!