- From: Domenic Denicola <notifications@github.com>
- Date: Tue, 22 Feb 2022 07:24:24 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 22 February 2022 15:24:36 UTC
Yes, unfortunately that PR is blocked on https://github.com/whatwg/sg/issues/93. A replacement PR would be very welcome. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/issues/1106#issuecomment-1047908560 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/issues/1106/1047908560@github.com>
Received on Tuesday, 22 February 2022 15:24:36 UTC