[charmod-norm] new commits pushed by r12a

The following commits were just pushed by r12a to https://github.com/w3c/charmod-norm:

* Reverted to ED
  by r12a
https://github.com/w3c/charmod-norm/commit/96d1fd128c5c355032c94a91dcb9f0703e716cd7

Received on Thursday, 5 April 2018 13:54:25 UTC