Re: [predefined-counter-styles] Should `upper-serbo-croatian` and `lower-serbo-croatian` be renamed? (#58)

Yes, we opened this issue: https://github.com/w3c/predefined-counter-styles/pull/57

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


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

Received on Wednesday, 14 June 2023 22:32:08 UTC