[string-search] Pull Request: Editorial fixes

• From: Fuqiao Xue via GitHub <sysbot+gh@w3.org>
• Date: Sun, 23 Apr 2023 02:06:43 +0000
• To: public-i18n-archive@w3.org
• Message-ID: <pull_request.opened-1324212114-1682215602-sysbot+gh@w3.org>

xfq has just submitted a new pull request for https://github.com/w3c/string-search:

== Editorial fixes ==
None

See https://github.com/w3c/string-search/pull/17


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

Received on Sunday, 23 April 2023 02:06:45 UTC