Re: [push-api] endpoint should be of type URL not DOMString (#93)

• From: Anne van Kesteren <notifications@github.com>
• Date: Thu, 08 Jan 2015 01:11:08 -0800
• To: w3c/push-api <push-api@noreply.github.com>
• Message-ID: <w3c/push-api/issues/93/69153398@github.com>

Yes. Please don't expose it as a mutable URL object.

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

Received on Thursday, 8 January 2015 09:11:34 UTC