- From: Darien Maillet Valentine <notifications@github.com>
- Date: Fri, 08 Oct 2021 10:55:54 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 8 October 2021 17:56:07 UTC
Seeing new activity on this, I'm curious if this change is a sure thing - i.e. is this renaming settled and there's just remaining work to do to get everything aligned, or is it still an open question? (I think these are positive changes - even though I've grown kinda of fond of the quirky old names. My interest stems from maintaining some Web IDL tools that will need to be updated to account for this.) -- 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/pull/1030#issuecomment-938981686
Received on Friday, 8 October 2021 17:56:07 UTC