Re: [push-api] Remove PushManager#hasPermission in favor of Permissions API (#109)

• From: Mounir Lamouri <notifications@github.com>
• Date: Fri, 16 Jan 2015 06:26:52 -0800
• To: w3c/push-api <push-api@noreply.github.com>
• Message-ID: <w3c/push-api/issues/109/70260370@github.com>

:+1: 

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

Received on Friday, 16 January 2015 14:27:22 UTC