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

From: Tobie Langel <notifications@github.com>
Date: Sun, 01 Oct 2017 08:55:42 +0000 (UTC)
To: heycam/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <heycam/webidl/pull/433/push/2021097210@github.com>

@tobie pushed 1 commit.

eb01163  Remove Inheritance non-terminal from mixin def.


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

Received on Sunday, 1 October 2017 08:56:04 UTC