Re: [push-api] pushregistrationlost isn't documented (#149)

These all look like rejected naming variations for the same event, we settled on the `pushsubscriptionchange` name after quite a lot of discussion. I'm not sure what question you are asking here, could you clarify?

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