- From: Boris Zbarsky <notifications@github.com>
 - Date: Tue, 26 Mar 2019 15:14:00 +0000 (UTC)
 - To: heycam/webidl <webidl@noreply.github.com>
 - Cc: Subscribed <subscribed@noreply.github.com>
 
Received on Tuesday, 26 March 2019 15:14:25 UTC
Merged #697 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/697#event-2230128742
Received on Tuesday, 26 March 2019 15:14:25 UTC