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

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

Merged #105.

---
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#event-721215477

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