- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Wed, 23 Sep 2020 08:52:19 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Update index.html by r12a https://github.com/w3c/predefined-counter-styles/commit/5b1c258bf28e8927430abff72bc9637b621f9e66 * Merge pull request #29 from w3c/r12a-patch-1-1 Add tally-mark by r12a https://github.com/w3c/predefined-counter-styles/commit/b70e06043b173238e98402e3dae4a3b6cda3ca07 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 23 September 2020 08:52:20 UTC