- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Fri, 30 Jun 2023 10:35:35 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Change cursor for copyMe by r12a https://github.com/w3c/predefined-counter-styles/commit/162e84e597fcf7e70f7432fad3f9521596739ee1 * Fix copy script after changes to markup by r12a https://github.com/w3c/predefined-counter-styles/commit/4f15d22fa638f097777f00a86473f622bd066e69 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 30 June 2023 10:35:36 UTC