Re: [string-search] Change example 13. (#15)

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