MaxSem has submitted this change and it was merged. Change subject: WG, MF: 179300, 179334 ......................................................................
WG, MF: 179300, 179334 Change-Id: I73a1c68811ffbef22d71f4b8e34dc1e20fce54be --- M extensions/MobileFrontend M extensions/WikiGrok 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: MaxSem: Verified; Looks good to me, approved diff --git a/extensions/MobileFrontend b/extensions/MobileFrontend index c4ef952..9adceba 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit c4ef952dec023c0548b326f6c4bd27775ce66302 +Subproject commit 9adcebabc34e60d53618516225af25516d10d868 diff --git a/extensions/WikiGrok b/extensions/WikiGrok index 40107fd..93d8ad6 160000 --- a/extensions/WikiGrok +++ b/extensions/WikiGrok -Subproject commit 40107fd04f86e05cb2841a3cb4e55647ab631771 +Subproject commit 93d8ad63cf195922754fde9bb845b4222d4524f2 -- To view, visit https://gerrit.wikimedia.org/r/179348 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I73a1c68811ffbef22d71f4b8e34dc1e20fce54be Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf11 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
