Re: [push-api] Consider renaming pushregistrationlost (#82)

• From: Matthew Gaunt <notifications@github.com>
• Date: Mon, 12 Jan 2015 08:12:46 -0800
• To: w3c/push-api <push-api@noreply.github.com>
• Message-ID: <w3c/push-api/issues/82/69594521@github.com>

+1 pushregistrationchange

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/82#issuecomment-69594521

Received on Monday, 12 January 2015 16:13:26 UTC