Re: [push-api] Add a PushSubscriptionOptions dictionary with a userVisible option. (#131) from Peter Beverloo on 2015-04-02 (public-webapps-github@w3.org from April 2015)

From: Peter Beverloo <notifications@github.com>
Date: Thu, 02 Apr 2015 09:20:59 -0700
To: w3c/push-api <push-api@noreply.github.com>
Message-ID: <w3c/push-api/pull/131/c88964574@github.com>

@martinthompson - Normative text aside, are you OK with the PushSubscriptionOptions dictionary and the userVisible member? It'd be great if we can deprecate our proprietary stuff before Push gains more traction, but Chrome 43 branch point is scaringly close.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/131#issuecomment-88964574

Received on Thursday, 2 April 2015 16:21:24 UTC