- From: Paul Em <notifications@github.com>
- Date: Thu, 16 Apr 2015 16:40:09 -0700
- To: w3c/push-api <push-api@noreply.github.com>
Received on Thursday, 16 April 2015 23:40:36 UTC
I think it is way better to understand. The only minor things I found: Shouldn't clear push subscription happen after unsubscription, so that you can wait for it to resolve successfully before you delete it? And I find "set push subscription" not very informative, why not take the old "store push subscription" or "save push subscription", or was there another thought behind? --- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/129#issuecomment-93862834
Received on Thursday, 16 April 2015 23:40:36 UTC