Re: [predefined-counter-styles] Fix a mistaken word in a comment (#54) from r12a via GitHub on 2023-06-19 (public-i18n-archive@w3.org from April to June 2023)

From: r12a via GitHub <sysbot+gh@w3.org>
Date: Mon, 19 Jun 2023 14:40:37 +0000
To: public-i18n-archive@w3.org
Message-ID: <issue_comment.created-1597310203-1687185635-sysbot+gh@w3.org>

Thanks for this correction.

-- 
GitHub Notification of comment by r12a
Please view or discuss this issue at https://github.com/w3c/predefined-counter-styles/pull/54#issuecomment-1597310203 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:40:39 UTC