jenkins-bot has submitted this change and it was merged. Change subject: Update MobileFrontend to wmf22 tip ......................................................................
Update MobileFrontend to wmf22 tip Change-Id: I8f225a5de73e63c1c642d24e7de59213cc707ec3 --- M extensions/MobileFrontend 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Kaldari: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/MobileFrontend b/extensions/MobileFrontend index f8e8b5b..b85cea7 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit f8e8b5b8695d61f46ea03f4b3d9e3f116313ebe5 +Subproject commit b85cea71a52713f643dc8bc44f349122ba91d84c -- To view, visit https://gerrit.wikimedia.org/r/91548 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8f225a5de73e63c1c642d24e7de59213cc707ec3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf22 Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: Kaldari <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
