- From: Tab Atkins Jr. <notifications@github.com>
- Date: Mon, 17 Jul 2023 10:24:00 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 17 July 2023 17:24:06 UTC
I'm not sure, and don't think I particularly care about the details. Whichever is simpler and makes more sense works for me. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/issues/1342#issuecomment-1638566460 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/issues/1342/1638566460@github.com>
Received on Monday, 17 July 2023 17:24:06 UTC