Re: [webidl] Remove a duplicate word. (#41)

• From: Boris Zbarsky <notifications@github.com>
• Date: Fri, 23 Jan 2015 10:53:59 -0800
• To: heycam/webidl <webidl@noreply.github.com>
• Message-ID: <heycam/webidl/pull/41/issue_event/223885660@github.com>

Merged #41.

---
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/41#event-223885660

Received on Friday, 23 January 2015 18:54:28 UTC