- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Tue, 10 Aug 2021 14:17:37 +0000
- To: public-i18n-archive@w3.org
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