- From: Martin Thomson <notifications@github.com>
- Date: Wed, 05 Aug 2015 10:01:32 -0700
- To: w3c/push-api <push-api@noreply.github.com>
Received on Wednesday, 5 August 2015 17:02:02 UTC
Fixes #133
You can view, comment on, or merge this pull request online at:
https://github.com/w3c/push-api/pull/158
-- Commit Summary --
* Adding typedef for JSON matching the fetch spec.
-- File Changes --
M index.html (14)
-- Patch Links --
https://github.com/w3c/push-api/pull/158.patch
https://github.com/w3c/push-api/pull/158.diff
---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/158
Received on Wednesday, 5 August 2015 17:02:02 UTC