Re: [heycam/webidl] [WIP] Add mixins (#433) from Tobie Langel on 2017-09-28 (public-webapps-github@w3.org from September 2017)

From: Tobie Langel <notifications@github.com>
Date: Thu, 28 Sep 2017 14:17:51 +0000 (UTC)
To: heycam/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <heycam/webidl/pull/433/push/2015999225@github.com>

@tobie pushed 1 commit.

fa88651  Prevent operation overloading across mixins and interfaces


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/heycam/webidl/pull/433/files/c22e28ad6186aba6b46170fe41163ea6378d1bb0..fa886517a6ded77d76a576082989d56b4b304b55

Received on Thursday, 28 September 2017 14:18:18 UTC