[MediaWiki-commits] [Gerrit] mediawiki...WikimediaEvents[master]: Record interleaved search teams if available

2017-08-02 Thread jenkins-bot (Code Review)
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

2017-07-28 Thread EBernhardson (Code Review)
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