Re: [push-api] Have PermissionDeniedError added to WebIDL (#186)

Thanks, will comment in Bugzilla.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/186#issuecomment-187073697

Received on Monday, 22 February 2016 08:40:30 UTC