- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 19 Jun 2023 16:15:46 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Ed nits by r12a https://github.com/w3c/predefined-counter-styles/commit/96c1faf47b1db28147fdddd34c905e90fad033c8 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 19 June 2023 16:15:48 UTC