[w3c/push-api] Editorial: fix references to Fetch and Web Sockets (PR #366)

Web Sockets is now its own spec. Use an alias for Fetch API. 
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/push-api/pull/366

-- Commit Summary --

  * Editorial: fix references to Fetch and Web Sockets

-- File Changes --

    M index.html (9)

-- Patch Links --

https://github.com/w3c/push-api/pull/366.patch
https://github.com/w3c/push-api/pull/366.diff

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

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

Received on Monday, 11 December 2023 01:09:18 UTC