- From: Fuqiao Xue via GitHub <noreply@w3.org>
- Date: Thu, 03 Jul 2025 06:45:48 +0000
- To: public-i18n-archive@w3.org
Can we close this now given that https://github.com/w3c/string-search/pull/23 has been merged? -- GitHub Notification of comment by xfq Please view or discuss this issue at https://github.com/w3c/string-search/issues/20#issuecomment-3031069332 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 3 July 2025 06:45:48 UTC