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

From: Ben Kelly <notifications@github.com>
Date: Fri, 14 Aug 2020 14:07:49 -0700
To: w3c/ServiceWorker <ServiceWorker@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/ServiceWorker/pull/1526/push/5532395851@github.com>

@wanderview pushed 1 commit.

5b53aa38978f8c074db5f534271e51c88431df1c  minor fix ups


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/ServiceWorker/pull/1526/files/1317558a866ebead8dc136d37b9f049c6b99a183..5b53aa38978f8c074db5f534271e51c88431df1c

Received on Friday, 14 August 2020 21:08:01 UTC