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

Your avatar is oddly relevant. :-)

Since @mvano is out for a while, we're a bit blocked on getting spec changes through. (I don't have edit rights.) That goes for #129 as well. I'll send an e-mail to @efullea..

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