Re: [w3c/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.

@martinthomson did you open this other ticket?

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/149#issuecomment-1734837314
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/issues/149/1734837314@github.com>

Received on Tuesday, 26 September 2023 05:05:48 UTC