- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Wed, 07 Oct 2020 09:00:09 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/charmod-norm: * Pre-publication tidying by r12a https://github.com/w3c/charmod-norm/commit/ff0823a5c24dd139ffea7b3f84a4e19c211af1a6 * Merge pull request #208 from w3c/r12a-patch-1 Pre-publication tidying by r12a https://github.com/w3c/charmod-norm/commit/544dcd1ce783364734c44ef361eb2d4d0b42208b -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 7 October 2020 09:00:15 UTC