Re: [whatwg/streams] Editorial: disambiguate WebSocket references (PR #1198)

We should migrate to [WEBSOCKETS]. But also, once https://github.com/whatwg/html/pull/7414 is merged, this problem will go away. So, maybe add a "TODO: remove these once https://github.com/whatwg/html/pull/7414 is merged" [comment](https://tabatkins.github.io/bikeshed/#infotree-comments) as well.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/streams/pull/1198#issuecomment-992944477

Received on Monday, 13 December 2021 21:54:54 UTC