Chad has submitted this change and it was merged. Change subject: Update CirrusSearch to 1.25wmf20 ......................................................................
Update CirrusSearch to 1.25wmf20 Change-Id: Id662477ae8ec5dc99e470c0ccdbf86fd224a4332 --- M extensions/CirrusSearch 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Chad: Verified; Looks good to me, approved Manybubbles: Looks good to me, but someone else must approve diff --git a/extensions/CirrusSearch b/extensions/CirrusSearch index 00bd4ec..09872bd 160000 --- a/extensions/CirrusSearch +++ b/extensions/CirrusSearch -Subproject commit 00bd4ecc32b62c39ccc47a647be6bb844e231831 +Subproject commit 09872bd69f3ca8686a72cd25ef09a5ade39657e4 -- To view, visit https://gerrit.wikimedia.org/r/194726 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id662477ae8ec5dc99e470c0ccdbf86fd224a4332 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf20 Gerrit-Owner: Jdouglas <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: Manybubbles <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
