- From: Martin Thomson <notifications@github.com>
- Date: Tue, 28 Jul 2015 01:24:48 -0700
- To: w3c/push-api <push-api@noreply.github.com>
Received on Tuesday, 28 July 2015 08:25:19 UTC
I had some time on the train; I'm not sure that this is better, but I didn't like the use of "server-sent events" You can view, comment on, or merge this pull request online at: https://github.com/w3c/push-api/pull/152 -- Commit Summary -- * Rewording abstract text again -- File Changes -- M index.html (14) -- Patch Links -- https://github.com/w3c/push-api/pull/152.patch https://github.com/w3c/push-api/pull/152.diff --- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/152
Received on Tuesday, 28 July 2015 08:25:19 UTC