[charmod-norm] Pull Request: merging publication changes

aphillips has just submitted a new pull request for https://github.com/w3c/charmod-norm:

== merging publication changes ==


See https://github.com/w3c/charmod-norm/pull/200

Received on Friday, 1 February 2019 17:06:05 UTC