Re: [heycam/webidl] Editorial: Note that interface mixins' elements are included among interface elements (#594) from Domenic Denicola on 2019-01-29 (public-webapps-github@w3.org from January 2019)

From: Domenic Denicola <notifications@github.com>
Date: Tue, 29 Jan 2019 17:34:58 +0000 (UTC)
To: heycam/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <heycam/webidl/pull/594/issue_event/2104341927@github.com>

Merged #594 into master.

-- 
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/594#event-2104341927

Received on Tuesday, 29 January 2019 17:36:00 UTC