- From: Domenic Denicola <notifications@github.com>
- Date: Tue, 27 Jun 2017 14:34:51 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 27 June 2017 21:35:23 UTC
Fixes part of https://www.w3.org/Bugs/Public/show_bug.cgi?id=27553. Fixes #301. This will be necessary for https://github.com/whatwg/dom/pull/469, as feedback in https://github.com/whatwg/dom/issues/208 has been that we should restrict the type of the group to either a string or a symbol. https://www.w3.org/Bugs/Public/show_bug.cgi?id=27553 also contains speculative stuff about interfaces declaring their own symbols which is not included here. You can view, comment on, or merge this pull request online at: https://github.com/heycam/webidl/pull/377 -- Commit Summary -- * Add the symbol type -- File Changes -- M index.bs (55) -- Patch Links -- https://github.com/heycam/webidl/pull/377.patch https://github.com/heycam/webidl/pull/377.diff -- 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
Received on Tuesday, 27 June 2017 21:35:23 UTC