Re: [w3c/permissions] chore(editors): add W3C editor IDs (#105)

• From: Marcos Cáceres <notifications@github.com>
• Date: Wed, 13 Jul 2016 01:12:37 -0700
• To: w3c/permissions <permissions@noreply.github.com>
• Cc:
• Message-ID: <w3c/permissions/pull/105/c232287211@github.com>

Thanks for finding these! Huge time saver 👍 

---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/105#issuecomment-232287211

Received on Wednesday, 13 July 2016 08:13:10 UTC