Re: [whatwg/webidl] Move to WHATWG (#1016)

Just FYI, we need to figure out what to do with:

 * http://www.w3.org/TR/WebIDL/ -> Redirect, I guess
 * http://www.w3.org/TR/WebIDL-1/ -> Obsolete? 


 

 

-- 
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/webidl/issues/1016#issuecomment-937602753

Received on Thursday, 7 October 2021 09:10:57 UTC