- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 19 Jun 2023 14:40:26 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Fix a mistaken word in a comment by Chris Morgan https://github.com/w3c/predefined-counter-styles/commit/e536a13983b22dd4077826e279e57663651e6f2c * Merge pull request #54 from chris-morgan/patch-1 Fix a mistaken word in a comment by r12a https://github.com/w3c/predefined-counter-styles/commit/0257f46da082de02db5b431fa17e7fd62c014a7f -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 19 June 2023 14:40:27 UTC