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

Note that following issue #98 this will become `pushsubscriptionchange`.

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

Received on Monday, 12 January 2015 16:18:54 UTC