Re: [charter-html] IME API is a MAY (#89)

Merged #89.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/charter-html/pull/89#event-364580813

Received on Friday, 24 July 2015 15:00:39 UTC