- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 19 Jun 2023 14:51:37 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Editorial fixes in revision log by r12a https://github.com/w3c/predefined-counter-styles/commit/bf5d4b335fcf6a05841289f105879a6bf72edc35 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 19 June 2023 14:51:39 UTC