- From: Michael van Ouwerkerk <notifications@github.com>
- Date: Tue, 13 Jan 2015 08:14:52 -0800
- To: w3c/push-api <push-api@noreply.github.com>
Received on Tuesday, 13 January 2015 16:15:19 UTC
You can merge this Pull Request by running:
git pull https://github.com/mvano/push-api PermissionDeniedError
Or you can view, comment on it, or merge it online at:
https://github.com/w3c/push-api/pull/106
-- Commit Summary --
* Define PermissionDeniedError.
-- File Changes --
M index.html (49)
-- Patch Links --
https://github.com/w3c/push-api/pull/106.patch
https://github.com/w3c/push-api/pull/106.diff
---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/106
Received on Tuesday, 13 January 2015 16:15:19 UTC