Re: [push-api] userVisible -> userVisibleOnly (#137)

@martinthomson Just to confirm - no concerns about this rename?

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/137#issuecomment-98152045

Received on Friday, 1 May 2015 15:10:12 UTC