Demon has submitted this change and it was merged. Change subject: Updating WikimediaMaintenance to master ......................................................................
Updating WikimediaMaintenance to master Change-Id: I826423d42e2f4a519ffca6e5ffa3508f630102be --- M extensions/WikimediaMaintenance 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Demon: Verified; Looks good to me, approved diff --git a/extensions/WikimediaMaintenance b/extensions/WikimediaMaintenance index 78dc331..147bab3 160000 --- a/extensions/WikimediaMaintenance +++ b/extensions/WikimediaMaintenance -Subproject commit 78dc331cae4bc5b813b95c247a18059b0d64cd80 +Subproject commit 147bab3d14da363da9917d183ff1a0bad050b208 -- To view, visit https://gerrit.wikimedia.org/r/53347 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I826423d42e2f4a519ffca6e5ffa3508f630102be Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.21wmf11 Gerrit-Owner: Demon <[email protected]> Gerrit-Reviewer: Demon <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
