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 accountReceived 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