- From: Darien Maillet Valentine <notifications@github.com>
- Date: Mon, 21 Feb 2022 18:00:47 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 22 February 2022 02:00:59 UTC
Oh, I’d only searched issues earlier and missed that there’s [an open PR](https://github.com/whatwg/webidl/pull/914) meant to address this (which is from the same time, explaining the comment). I suppose it makes sense to leave the issue open though as it’s still pending. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/issues/1106#issuecomment-1047354736 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/issues/1106/1047354736@github.com>
Received on Tuesday, 22 February 2022 02:00:59 UTC