Re: [predefined-counter-styles] Should `upper-serbo-croatian` and `lower-serbo-croatian` be renamed? (#58) from r12a via GitHub on 2023-06-15 (public-i18n-archive@w3.org from April to June 2023)

From: r12a via GitHub <sysbot+gh@w3.org>
Date: Thu, 15 Jun 2023 08:48:46 +0000
To: public-i18n-archive@w3.org
Message-ID: <issue_comment.created-1592631250-1686818924-sysbot+gh@w3.org>

Thanks @dbaron.  Closing this in favour of https://github.com/w3c/predefined-counter-styles/pull/57

-- 
GitHub Notification of comment by r12a
Please view or discuss this issue at https://github.com/w3c/predefined-counter-styles/issues/58#issuecomment-1592631250 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 15 June 2023 08:48:48 UTC