Re: [push-api] The push event (#145)

• From: Martin Thomson <notifications@github.com>
• Date: Wed, 05 Aug 2015 08:59:41 -0700
• To: w3c/push-api <push-api@noreply.github.com>
• Message-ID: <w3c/push-api/issue/145/issue_event/374357858@github.com>

Closed #145 via #157.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/145#event-374357858

Received on Wednesday, 5 August 2015 16:00:36 UTC