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

OK, I can see now where the confusion arises. We need to be a lot clearer about error conditions, but this is the wrong place for that, I'll open another ticket.

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