- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 04 May 2020 18:07:32 +0000
- To: public-i18n-archive@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