Re: [heycam/webidl] Improve the definition of the void type. (#757) from Boris Zbarsky on 2019-08-06 (public-webapps-github@w3.org from August 2019)

From: Boris Zbarsky <notifications@github.com>
Date: Tue, 06 Aug 2019 07:06:25 -0700
To: heycam/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <heycam/webidl/pull/757/issue_event/2536899569@github.com>

Merged #757 into master.

-- 
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/757#event-2536899569

Received on Tuesday, 6 August 2019 14:06:47 UTC