jenkins-bot has submitted this change and it was merged.

Change subject: Update WikimediaMaintenance for Ifda867ef
......................................................................


Update WikimediaMaintenance for Ifda867ef

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

Approvals:
  Alex Monk: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/extensions/WikimediaMaintenance b/extensions/WikimediaMaintenance
index 45ee134..bb11b01 160000
--- a/extensions/WikimediaMaintenance
+++ b/extensions/WikimediaMaintenance
-Subproject commit 45ee134be922328263dd6f45b65dec03173f76b2
+Subproject commit bb11b01343e7561539c5162c862616165c7837f6

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic89197fa0815127ec7ab6b2036c16f516581ba76
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.26wmf14
Gerrit-Owner: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to