- From: Marcos Cáceres <notifications@github.com>
- Date: Sun, 10 Dec 2023 17:09:11 -0800
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 11 December 2023 01:09:18 UTC
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