- From: Domenic Denicola <notifications@github.com>
- Date: Wed, 19 Jul 2017 19:43:02 +0000 (UTC)
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 19 July 2017 19:43:26 UTC
This is a fixup of 5c8eb310ef7a6bcb3c4813e9791212ee1624f2d3, which forgot to remove the DOMException terminal from the grammar when giving it a new definition.
You can view, comment on, or merge this pull request online at:
https://github.com/heycam/webidl/pull/385
-- Commit Summary --
* Remove DOMException terminal from the grammar
-- File Changes --
M index.bs (1)
-- Patch Links --
https://github.com/heycam/webidl/pull/385.patch
https://github.com/heycam/webidl/pull/385.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/385
Received on Wednesday, 19 July 2017 19:43:26 UTC