Re: [heycam/webidl] void -> undefined, and allow it anywhere. (#906) from Tab Atkins Jr. on 2020-08-07 (public-webapps-github@w3.org from August 2020)

From: Tab Atkins Jr. <notifications@github.com>
Date: Fri, 07 Aug 2020 09:36:11 -0700
To: heycam/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <heycam/webidl/pull/906/push/5497618758@github.com>

@tabatkins pushed 1 commit.

1695d3a6478a34bc727ace4e3d293c6fee2dd418  Pending final decision on optional in #905, remove 'undefined' as a const value and forbid it from being an argument type.


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/heycam/webidl/pull/906/files/3f5d7747ac38311dc1b1ff139a5c6a56b97fe326..1695d3a6478a34bc727ace4e3d293c6fee2dd418

Received on Friday, 7 August 2020 16:36:23 UTC