Re: [push-api] Rewriting push event handling; allowing data to be optional. (#166)

• From: Martin Thomson <notifications@github.com>
• Date: Thu, 14 Jan 2016 19:40:26 -0800
• To: w3c/push-api <push-api@noreply.github.com>
• Message-ID: <w3c/push-api/pull/166/c171864646@github.com>

Rebased and ready to merge.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/166#issuecomment-171864646

Received on Friday, 15 January 2016 03:40:56 UTC