Re: [w3c/editing] beforeInput: Rename "inputCharacter" to "inputText" (#119) from Johannes Wilm on 2016-04-08 (public-webapps-github@w3.org from April 2016)

From: Johannes Wilm <notifications@github.com>
Date: Thu, 07 Apr 2016 17:58:36 -0700
To: w3c/editing <editing@noreply.github.com>
Message-ID: <w3c/editing/issues/119/207154308@github.com>

Hey, @choniong , I couldn't merge your PR due to some restriction set in the W3C's github group, but I made the change nevertheless, as there didn't seem to be any opposition.

---
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/editing/issues/119#issuecomment-207154308

Received on Friday, 8 April 2016 00:59:03 UTC