jenkins-bot has submitted this change and it was merged. Change subject: Update Flow for cherry-picks ......................................................................
Update Flow for cherry-picks New changes: 3b38ec2 Bug: failed parsoid request on private wiki ef9a591 Bug: topic list listener not listening to workflow updates Change-Id: I2dd1bbee673aa7c6eac1e6783763c48d929c6269 --- M extensions/Flow 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/Flow b/extensions/Flow index 40e095f..c3ca2ac 160000 --- a/extensions/Flow +++ b/extensions/Flow -Subproject commit 40e095f67087186c00ea0f6af69cfe3ebc367fdd +Subproject commit c3ca2ac4f0f6588b53bd4f3301a52181bb01c3e4 -- To view, visit https://gerrit.wikimedia.org/r/174871 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2dd1bbee673aa7c6eac1e6783763c48d929c6269 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf9 Gerrit-Owner: Catrope <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
