- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 19 Jun 2023 14:35:25 +0000
- To: public-i18n-archive@w3.org
Closing this PR because the changes were merged in a commit in Aug 2022. See https://github.com/w3c/predefined-counter-styles/commit/19a558590831ecdd38070995f140e8113d6e0ba2 -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/predefined-counter-styles/pull/46#issuecomment-1597301778 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 19 June 2023 14:35:27 UTC