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

From: Ben Kelly <notifications@github.com>
Date: Mon, 10 Aug 2020 13:48:59 -0700
To: w3c/ServiceWorker <ServiceWorker@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/ServiceWorker/pull/1526/push/5509150143@github.com>

@wanderview pushed 1 commit.

9cc378c96a4281985f442cdcf15048d4e004e6ba  plumb id to webidl layer


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

Received on Monday, 10 August 2020 20:49:12 UTC