Re: [heycam/webidl] Absence of "record" token from Other production (#694) from Boris Zbarsky on 2019-03-22 (public-webapps-github@w3.org from March 2019)

From: Boris Zbarsky <notifications@github.com>
Date: Thu, 21 Mar 2019 23:43:25 -0700
To: heycam/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <heycam/webidl/issues/694/475511223@github.com>

I don't think you're misinterpreting something, and this is accidental.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/694#issuecomment-475511223

Received on Friday, 22 March 2019 06:43:48 UTC