Re: [heycam/webidl] Add the symbol type (#377) from Boris Zbarsky on 2018-03-07 (public-webapps-github@w3.org from March 2018)

From: Boris Zbarsky <notifications@github.com>
Date: Wed, 07 Mar 2018 12:44:47 -0800
To: heycam/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <heycam/webidl/pull/377/c371278299@github.com>

No strong opinions either way.

-- 
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/pull/377#issuecomment-371278299

Received on Wednesday, 7 March 2018 20:45:11 UTC