Reedy has submitted this change and it was merged. Change subject: Update MF to head of wmf5 branch ......................................................................
Update MF to head of wmf5 branch Change-Id: I06eb51bfd5eb3c751be8dd94354a9c236bea44f9 --- M extensions/MobileFrontend 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Reedy: Verified; Looks good to me, approved diff --git a/extensions/MobileFrontend b/extensions/MobileFrontend index 160013d..9b129c1 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit 160013d74367a4f7c3407986493008f437b64211 +Subproject commit 9b129c1336cbd3b8dff50269c5c1ee392c21c4df -- To view, visit https://gerrit.wikimedia.org/r/97160 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I06eb51bfd5eb3c751be8dd94354a9c236bea44f9 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.23wmf5 Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
