Re: [string-search] Non-body text (#22)

See my comment at https://github.com/w3c/jlreq-d/issues/45

-- 
GitHub Notification of comment by r12a
Please view or discuss this issue at https://github.com/w3c/string-search/issues/22#issuecomment-1825729007 using your GitHub account


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

Received on Friday, 24 November 2023 14:09:40 UTC