Re: [push-api] ServiceWorkerRegistration.pushRegistrationManager is very verbose (#47)

`pushMessaging`, `pushManager`, `pushService`?

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

Received on Friday, 5 December 2014 12:43:37 UTC