- From: Michael[tm] Smith <notifications@github.com>
- Date: Wed, 07 Jun 2017 17:47:48 -0700
- To: w3c/ServiceWorker <ServiceWorker@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 8 June 2017 00:48:22 UTC
> both https://github.com/w3c/ServiceWorker/pull/1107 and https://github.com/whatwg/html/pull/2517 were merged. So, I think we can continue on this PR. It looks good with needing to have a decision on https://github.com/w3c/ServiceWorker/pull/1110#discussion_r120542687 OK, great—so @domenic, what do we want to do for https://github.com/w3c/ServiceWorker/pull/1110#discussion_r120542687? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/ServiceWorker/pull/1110#issuecomment-306966131
Received on Thursday, 8 June 2017 00:48:22 UTC