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

• From: Michael van Ouwerkerk <notifications@github.com>
• Date: Fri, 15 Jan 2016 01:59:46 -0800
• To: w3c/push-api <push-api@noreply.github.com>
• Message-ID: <w3c/push-api/pull/166/issue_event/515982740@github.com>

Merged #166.

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

Received on Friday, 15 January 2016 10:00:18 UTC