- From: Mirko Brodesser <notifications@github.com>
- Date: Wed, 14 Jun 2023 02:45:42 -0700
- To: whatwg/dom <dom@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 14 June 2023 09:45:48 UTC
Given https://github.com/whatwg/dom/pull/1176 was merged, this can be closed? -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/dom/issues/1190#issuecomment-1590860494 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/dom/issues/1190/1590860494@github.com>
Received on Wednesday, 14 June 2023 09:45:48 UTC