Catrope has submitted this change and it was merged. Change subject: Update FlaggedRevs to the head of its wmf/1.22wmf10 branch ......................................................................
Update FlaggedRevs to the head of its wmf/1.22wmf10 branch Change-Id: I7dcb102fd2cf54386b59090bb9a3a033d90b8196 --- 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 d14db2e..59a2eea 160000 --- a/extensions/FlaggedRevs +++ b/extensions/FlaggedRevs -Subproject commit d14db2eeba26baf75b8f81998f96bc61e2333d0d +Subproject commit 59a2eea354da2247005dcd09733e63d52e711b71 -- To view, visit https://gerrit.wikimedia.org/r/75630 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7dcb102fd2cf54386b59090bb9a3a033d90b8196 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf10 Gerrit-Owner: Catrope <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
