Re: [w3c/ServiceWorker] add w3cid for editors to help publication (#1218) from Yves Lafon on 2017-11-03 (public-webapps-github@w3.org from November 2017)

From: Yves Lafon <notifications@github.com>
Date: Fri, 03 Nov 2017 07:17:07 +0000 (UTC)
To: w3c/ServiceWorker <ServiceWorker@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/ServiceWorker/pull/1218/push/2097287105@github.com>

@ylafon pushed 1 commit.

26a2332  fix broken anchor for push event


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/ServiceWorker/pull/1218/files/ae13d2e0c508a96ad1ce8fffba0e8a669618a3ea..26a2332c53237216d9428979b4f12397214700ec

Received on Friday, 3 November 2017 07:17:30 UTC