Re: [push-api] Have PermissionDeniedError added to WebIDL (#186) from Michael van Ouwerkerk on 2016-02-19 (public-webapps-github@w3.org from February 2016)

From: Michael van Ouwerkerk <notifications@github.com>
Date: Fri, 19 Feb 2016 06:03:30 -0800
To: w3c/push-api <push-api@noreply.github.com>
Message-ID: <w3c/push-api/issues/186/186226195@github.com>

This is a duplicate of #107. I hope you don't mind if I close this one.

As to the idea: it would be real nice to get this formalized.

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

Received on Friday, 19 February 2016 14:04:02 UTC