Re: [push-api] Add a PushSubscriptionOptions dictionary with a userVisible option. (#131)

Sure; I more or less expected you to merge this based on my last comments.  I don't see why you need this updated to ship Chrome changes, but maybe there is something in your process I don't understand.

On that point, I'd be much happier if you merged #129 as well, so we can move away from this being a description of a Chrome-proprietary API.

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