W3C home > Mailing lists > Public > public-i18n-archive@w3.org > April to June 2020

Re: [string-search] I18N-ACTION-873 plus edits to make doc ready for development (#7)

From: r12a via GitHub <sysbot+gh@w3.org>
Date: Mon, 04 May 2020 18:07:32 +0000
To: public-i18n-archive@w3.org
Message-ID: <issue_comment.created-623618739-1588615651-sysbot+gh@w3.org>
Ah, but i just realised that of course it still points to our tracker issues, rather than the actual issues. Oh well.  It's probably fine, since we're going to resolve those issues very soon, right? ;-)

Let's just merge this. (Though i think it would be good to make the change suggested by @xfq too.)

GitHub Notification of comment by r12a
Please view or discuss this issue at https://github.com/w3c/string-search/pull/7#issuecomment-623618739 using your GitHub account
Received on Monday, 4 May 2020 18:07:33 UTC

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:41 UTC