[string-search] new commits pushed by xfq

The following commits were just pushed by xfq to https://github.com/w3c/string-search:

* Editorial fixes (#17)
  by Fuqiao Xue
https://github.com/w3c/string-search/commit/9f94f562ac5f66e343d8bd1819ccd847e53bb7c1



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

Received on Monday, 24 April 2023 02:06:31 UTC