[charmod-norm] new commits pushed by r12a

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

* Revert to ED
  by r12a
https://github.com/w3c/charmod-norm/commit/a275d41fd69a0f10ac517c1aa23f25e6671b1dc4

Received on Monday, 4 February 2019 12:55:16 UTC