Re: [w3c/push-api] chore: use new school WebIDL (#231) from Martin Thomson on 2016-12-14 (public-webapps-github@w3.org from December 2016)

From: Martin Thomson <notifications@github.com>
Date: Wed, 14 Dec 2016 01:46:21 -0800
To: w3c/push-api <push-api@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/push-api/pull/231/push/1455259027@github.com>

@martinthomson pushed 1 commit.

02f15a4  Merge branch 'gh-pages' into modernize_idl


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/push-api/pull/231/files/25cbdd68682b7d3f4a6cfc7056e67fa1d90aa444..02f15a4e0c02106c5020b7bd42efda696da91254

Received on Wednesday, 14 December 2016 09:47:19 UTC