- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 15 May 2023 13:12:00 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Fix haleme typo, it should be halehame After some research done online, it seems like "haleme" is a typo, and it should actually be halehame. See https://github.com/WebKit/WebKit/pull/13323#discussion_r1182536088 by Tim Nguyen https://github.com/w3c/predefined-counter-styles/commit/4b5268de351b9aaef57ce6e711735003e802cfc9 * Merge pull request #56 from nt1m/patch-1 Fix haleme typo, it should be halehame by r12a https://github.com/w3c/predefined-counter-styles/commit/81b1bea591a4f0f6bf68e4162fed4fbf1121d09b -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 15 May 2023 13:12:02 UTC