[charmod-norm] Pull Request: Make mustard ids begin with charmod-

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

== Make mustard ids begin with charmod- ==


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


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

Received on Friday, 9 October 2020 15:16:22 UTC