Reedy has submitted this change and it was merged. Change subject: Update WikimediaMaintenance to master ......................................................................
Update WikimediaMaintenance to master Change-Id: I510acf4ff57ee751aed2a8208b77265a399ab737 --- M extensions/WikimediaMaintenance 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Reedy: Verified; Looks good to me, approved diff --git a/extensions/WikimediaMaintenance b/extensions/WikimediaMaintenance index cdd9a2b..c53cc2d 160000 --- a/extensions/WikimediaMaintenance +++ b/extensions/WikimediaMaintenance -Subproject commit cdd9a2bde6977fb3c3971f9a991f1c88f46270ac +Subproject commit c53cc2d2ada94049075546d41e8d82ae5eec1199 -- To view, visit https://gerrit.wikimedia.org/r/67293 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I510acf4ff57ee751aed2a8208b77265a399ab737 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf5 Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
