Re: [charmod-norm] Pre-publication tidying (#208)

Just publishing via PR so that changes are visible.  But this is editorial stuff, so i'll merge straight away.

-- 
GitHub Notification of comment by r12a
Please view or discuss this issue at https://github.com/w3c/charmod-norm/pull/208#issuecomment-704796760 using your GitHub account


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

Received on Wednesday, 7 October 2020 09:00:03 UTC