- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Fri, 13 May 2022 16:13:19 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/bp-i18n-specdev: * Suck Charmod text into 4.1 Choosing a definition of 'character' by r12a https://github.com/w3c/bp-i18n-specdev/commit/a3504428889f0aedac1a0fcc5114e336517d8f1e * Update index.html by r12a https://github.com/w3c/bp-i18n-specdev/commit/6aed9fa0ec780b7ba2cdfea51cfd5e4b4a9b3a64 * Merge pull request #71 from w3c/r12a-patch-1 Suck Charmod text into 4.1 Choosing a definition of 'character' by r12a https://github.com/w3c/bp-i18n-specdev/commit/0fc8fccd7876e15373cdf5b941002d8cbcb82ef8 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 13 May 2022 16:13:20 UTC