search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Update privacy and server choice... #294

Closed chaals closed 6 years ago

chaals commented 6 years ago

Fix #293 See also comments on #287 Editorial.

Clarifies that user agents MAY limit the choice of push server, and why they might do so. Reframes the Privacy Section slightly to identify the concerns that the implementation requirements address.

Preview | Diff