Reedy has submitted this change and it was merged.

Change subject: Update CirrusSearch to master
......................................................................


Update CirrusSearch to master

Change-Id: Ia85e309b50084390802edb70e13525301a12f589
---
M extensions/CirrusSearch
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Reedy: Verified; Looks good to me, approved



diff --git a/extensions/CirrusSearch b/extensions/CirrusSearch
index 01b5298..cb49a0e 160000
--- a/extensions/CirrusSearch
+++ b/extensions/CirrusSearch
-Subproject commit 01b529804dd6b42bb4e6334df8252f7705244663
+Subproject commit cb49a0ec359f509355d0aaf13387ff835b8ec967

-- 
To view, visit https://gerrit.wikimedia.org/r/76613
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia85e309b50084390802edb70e13525301a12f589
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.22wmf12
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to