Re: [w3c/ServiceWorker] DO NOT MERGE - Add id to ServiceWorkerRegistration. (Fixes #1512) (#1526) from Ben Kelly on 2020-08-11 (public-webapps-github@w3.org from August 2020)

From: Ben Kelly <notifications@github.com>
Date: Tue, 11 Aug 2020 13:48:01 -0700
To: w3c/ServiceWorker <ServiceWorker@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/ServiceWorker/pull/1526/push/5515118329@github.com>

@wanderview pushed 1 commit.

874ba0cbb87ef518b07beab93eaec666bc5dcccf  tweak


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/ServiceWorker/pull/1526/files/9cc378c96a4281985f442cdcf15048d4e004e6ba..874ba0cbb87ef518b07beab93eaec666bc5dcccf

Received on Tuesday, 11 August 2020 20:48:14 UTC