Catrope has submitted this change and it was merged. Change subject: Update FlaggedRevs to head of wmf/1.22wmf11 branch ......................................................................
Update FlaggedRevs to head of wmf/1.22wmf11 branch Change-Id: I716639fe0d5c66e693da62f300f4d743912830cb --- M extensions/FlaggedRevs 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Verified; Looks good to me, approved diff --git a/extensions/FlaggedRevs b/extensions/FlaggedRevs index 7b588f8..dec7d57 160000 --- a/extensions/FlaggedRevs +++ b/extensions/FlaggedRevs -Subproject commit 7b588f852c4669da4c5c5799410fdeb63f868261 +Subproject commit dec7d571fd25e6bbd9c1721e7f578ed0d2d052ad -- To view, visit https://gerrit.wikimedia.org/r/75656 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I716639fe0d5c66e693da62f300f4d743912830cb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf11 Gerrit-Owner: Catrope <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
