[MediaWiki-commits] [Gerrit] mediawiki...WikimediaEvents[master]: Record interleaved search teams if available
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/368470 ) Change subject: Record interleaved search teams if available .. Record interleaved search teams if available If an interleaved
[MediaWiki-commits] [Gerrit] mediawiki...WikimediaEvents[master]: Record interleaved search teams if available
EBernhardson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/368470 ) Change subject: Record interleaved search teams if available .. Record interleaved search teams if available If an interleaved search