- 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