- From: Boris Zbarsky <notifications@github.com>
- Date: Tue, 13 Jan 2015 11:16:40 -0800
- To: heycam/webidl <webidl@noreply.github.com>
Received on Tuesday, 13 January 2015 19:17:08 UTC
You can merge this Pull Request by running:
git pull https://github.com/bzbarsky/webidl deal-with-nointerfaceobject
Or you can view, comment on it, or merge it online at:
https://github.com/heycam/webidl/pull/38
-- Commit Summary --
* Followup for bug https://www.w3.org/Bugs/Public/show_bug.cgi?id=23133 to deal with inherited interfaces that are [NoInterfaceObject].
-- File Changes --
M index.html (11)
M index.xml (12)
M v1.html (11)
M v1.xml (12)
-- Patch Links --
https://github.com/heycam/webidl/pull/38.patch
https://github.com/heycam/webidl/pull/38.diff
---
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/38
Received on Tuesday, 13 January 2015 19:17:08 UTC