jenkins-bot has submitted this change and it was merged. Change subject: Update VisualEditor to wmf22 branch for cherry-picks ......................................................................
Update VisualEditor to wmf22 branch for cherry-picks Change-Id: I500aec4f1cef0ff7ae4f42e1c76500041fd7f6c3 --- M extensions/VisualEditor 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/VisualEditor b/extensions/VisualEditor index f81de3e..df9af4b 160000 --- a/extensions/VisualEditor +++ b/extensions/VisualEditor -Subproject commit f81de3e1e9025751f6a7abf2934e267594c01c88 +Subproject commit df9af4bc8d3ffdc6db92cebba9199c4a6e18356b -- To view, visit https://gerrit.wikimedia.org/r/91315 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I500aec4f1cef0ff7ae4f42e1c76500041fd7f6c3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf22 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
