Re: [permissions] Added Editor IDs (#37)

Merged #37.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/37#event-320311353

Received on Tuesday, 2 June 2015 18:29:05 UTC