Re: [w3c/push-api] Editorials for pushmanager (PR #405)

martinthomson left a comment (w3c/push-api#405)

That was a tough one to review from source.  Lots of whitespace changes.  Not so many changes to the text though.

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

Message ID: <w3c/push-api/pull/405/c3232285716@github.com>

Received on Thursday, 28 August 2025 07:31:20 UTC