- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Fri, 09 Oct 2020 15:16:48 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/charmod-norm: * Make mustard ids begin with charmod- by r12a https://github.com/w3c/charmod-norm/commit/e756145b7139775e28fa3c55380102a491288aad * Merge pull request #213 from w3c/r12a-patch-1 Make mustard ids begin with charmod- by r12a https://github.com/w3c/charmod-norm/commit/6c58753265e29ecb2c55d425f6830d4bdcb6d138 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 9 October 2020 15:16:50 UTC