Re: [push-api] Fire pushsubscriptionchange when user revokes permission (#116)

What ever happened to `pushregistrationlost` ?  That seems like a more appropriate event.  Or do we now consider `pushsubscriptionchange` OK if we subsequently return null to a call to `getSubscription()`?

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