MaxSem has submitted this change and it was merged. Change subject: Bump MF and Mantle ......................................................................
Bump MF and Mantle Change-Id: Ib586ca422e273afb69a3860bff6550bfd6766a8c --- M extensions/Mantle M extensions/MobileFrontend 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: MaxSem: Verified; Looks good to me, approved diff --git a/extensions/Mantle b/extensions/Mantle index bf1614e..22fa02c 160000 --- a/extensions/Mantle +++ b/extensions/Mantle -Subproject commit bf1614eaef0763c047dcdb1b1cd727cfd3926694 +Subproject commit 22fa02c0325acf63b9758306657cb19dd52eba71 diff --git a/extensions/MobileFrontend b/extensions/MobileFrontend index 061b399..2a29f7c 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit 061b3992100074bf51c4645da578a25349930f6a +Subproject commit 2a29f7c313685b13aa2bb64633700904b9e6ca13 -- To view, visit https://gerrit.wikimedia.org/r/183768 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib586ca422e273afb69a3860bff6550bfd6766a8c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf13 Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
