- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Tue, 08 Jun 2021 15:10:30 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Update Han/CJK, Japanese, and Korean section titles by r12a https://github.com/w3c/predefined-counter-styles/commit/bd262e882a56e50ab29f0430ad8ad61a123483d0 * Merge pull request #41 from w3c/r12a-patch-4 Update Han/CJK, Japanese, and Korean section titles by r12a https://github.com/w3c/predefined-counter-styles/commit/192bc31845a75b94659526a65146a2100fb00c26 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 8 June 2021 15:11:06 UTC