[charmod-norm] Pull Request: Tidy up character markup

• From: r12a via GitHub <sysbot+gh@w3.org>
• Date: Tue, 10 Aug 2021 14:17:26 +0000
• To: public-i18n-archive@w3.org
• Message-ID: <pull_request.opened-707397709-1628605044-sysbot+gh@w3.org>

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

== Tidy up character markup ==
None

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


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

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