gerritbot added a comment. Change 178876 merged by jenkins-bot: Implementing prefetching on top of TermIndex.
https://gerrit.wikimedia.org/r/178876 TASK DETAIL https://phabricator.wikimedia.org/T77992 REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>. EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: Aklapper, aude, daniel, JeroenDeDauw, Wikidata-bugs _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs