Re: [push-api] Push events should Soft Update service worker (#115) from Matt Falkenhagen on 2015-08-05 (public-webapps-github@w3.org from August 2015)

From: Matt Falkenhagen <notifications@github.com>
Date: Tue, 04 Aug 2015 22:45:31 -0700
To: w3c/push-api <push-api@noreply.github.com>
Message-ID: <w3c/push-api/issues/115/127871063@github.com>

This issue is obsoleted by https://github.com/slightlyoff/ServiceWorker/issues/514 which defines generically when to update service workers in response to events.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/115#issuecomment-127871063

Received on Wednesday, 5 August 2015 05:46:02 UTC