Re: [whatwg/webidl] Absence of "record" token from Other production (#694)

• From: Timothy Gu <notifications@github.com>
• Date: Sun, 07 Nov 2021 00:42:20 -0700
• To: whatwg/webidl <webidl@noreply.github.com>
• Cc: Subscribed <subscribed@noreply.github.com>
• Message-ID: <whatwg/webidl/issue/694/issue_event/5578776720@github.com>

Closed #694.

-- 
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/issues/694#event-5578776720

Received on Sunday, 7 November 2021 07:42:32 UTC