jenkins-bot has submitted this change and it was merged. Change subject: Update CirrusSearch ......................................................................
Update CirrusSearch Change-Id: Ie5178b79ef14d2508685c2e68f2eabbcaf0f4b4e --- M extensions/CirrusSearch 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/CirrusSearch b/extensions/CirrusSearch index 86ce60f..01e95f2 160000 --- a/extensions/CirrusSearch +++ b/extensions/CirrusSearch -Subproject commit 86ce60f10122168c35a7917819d5429de8bfa602 +Subproject commit 01e95f23e143416f83c87624b00f5a92ca158579 -- To view, visit https://gerrit.wikimedia.org/r/209136 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie5178b79ef14d2508685c2e68f2eabbcaf0f4b4e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.26wmf4 Gerrit-Owner: 20after4 <mmod...@wikimedia.org> Gerrit-Reviewer: 20after4 <mmod...@wikimedia.org> Gerrit-Reviewer: Catrope <roan.katt...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits