Re: [string-search] Editorial fixes (#17)

Looks good to me. Please merge these changes.

-- 
GitHub Notification of comment by aphillips
Please view or discuss this issue at https://github.com/w3c/string-search/pull/17#issuecomment-1518999640 using your GitHub account


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

Received on Sunday, 23 April 2023 08:54:52 UTC