Rename to Direct Sockets API

WICG / direct-sockets

Direct Sockets API for the web platform

Other

364 stars 14 forks source link

Rename to Direct Sockets API #13

Closed ewilligers closed 4 years ago

ewilligers commented 4 years ago

resolves #10

mgiuca commented 4 years ago

Let's sit on this for a few days to let others chime in and for us to think about it. I don't want us to rename it multiple times, and it's not urgent.

phoglenix commented 4 years ago

I left a comment on the issue. Sorry to throw a spanner in the works! If you still like "direct" I am happy for you to go ahead with this, otherwise we can wait for a little more discussion?