Re: [editing] rename EditTypes to InputTypes for beforeInput events (#97)

• From: Johannes Wilm <notifications@github.com>
• Date: Wed, 27 Jan 2016 07:16:59 -0800
• To: w3c/editing <editing@noreply.github.com>
• Message-ID: <w3c/editing/issues/97/175682818@github.com>

As there seems to be no disagreement, I will go ahead and make the change.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/issues/97#issuecomment-175682818

Received on Wednesday, 27 January 2016 15:17:30 UTC