- From: Addison Phillips via GitHub <sysbot+gh@w3.org>
- Date: Thu, 22 Aug 2024 14:03:44 +0000
- To: public-i18n-archive@w3.org
Nudging this PR. Can we address the comments and merge? -- GitHub Notification of comment by aphillips Please view or discuss this issue at https://github.com/w3c/string-search/pull/15#issuecomment-2304757390 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 22 August 2024 14:03:45 UTC