[charmod-norm] new commits pushed by r12a

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

* Tidy up character markup
  by r12a
https://github.com/w3c/charmod-norm/commit/9a245f0f6413ba691063c89000de6b046dd3b45f

* Merge pull request #219 from w3c/r12a-patch-1

Tidy up character markup
  by r12a
https://github.com/w3c/charmod-norm/commit/6d5ffc2ce172df462e159416fec10bb9ea3071fb



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 10 August 2021 14:17:39 UTC