jenkins-bot has submitted this change and it was merged. Change subject: Update FlaggedRevs for [[gerrit:185180]] ......................................................................
Update FlaggedRevs for [[gerrit:185180]] Change-Id: I4ca9321b19926995f94f5a84c7d1cb601d2afa48 --- M extensions/FlaggedRevs 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Anomie: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/FlaggedRevs b/extensions/FlaggedRevs index 1ff4c61..3c7825b 160000 --- a/extensions/FlaggedRevs +++ b/extensions/FlaggedRevs -Subproject commit 1ff4c616b006cf1348a7e3c043dd7bec57b0b4b2 +Subproject commit 3c7825b0b9d768af7e97a9ff029a88127a3b060d -- To view, visit https://gerrit.wikimedia.org/r/185182 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4ca9321b19926995f94f5a84c7d1cb601d2afa48 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf14 Gerrit-Owner: Anomie <[email protected]> Gerrit-Reviewer: Anomie <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
