[string-search] Pull Request: Change example 13.

• From: r12a via GitHub <sysbot+gh@w3.org>
• Date: Tue, 21 Mar 2023 16:10:53 +0000
• To: public-i18n-archive@w3.org
• Message-ID: <pull_request.opened-1284537481-1679415051-sysbot+gh@w3.org>

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

== Change example 13. ==
None

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


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

Received on Tuesday, 21 March 2023 16:10:55 UTC