[w3c/push-api] Allow UA to not implement all PushSubscriptionOptions (#200) from Martin Thomson on 2016-07-12 (public-webapps-github@w3.org from July 2016)

From: Martin Thomson <notifications@github.com>
Date: Tue, 12 Jul 2016 16:25:16 -0700
To: w3c/push-api <push-api@noreply.github.com>
Cc:
Message-ID: <w3c/push-api/issues/200@github.com>

These need to be truly optional.  If a UA doesn't implement X, then it shouldn't be obliged to remember values that were set by applications.

---
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/push-api/issues/200

Received on Tuesday, 12 July 2016 23:26:25 UTC