jenkins-bot has submitted this change and it was merged.

Change subject: Update VisualEditor for Ic4c7d8d8
......................................................................


Update VisualEditor for Ic4c7d8d8

Change-Id: Icbdd12bdb143536cea035112f5aefb8f15fd342a
---
M extensions/VisualEditor
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Alex Monk: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/extensions/VisualEditor b/extensions/VisualEditor
index 4dfc99f..3ff3f97 160000
--- a/extensions/VisualEditor
+++ b/extensions/VisualEditor
-Subproject commit 4dfc99f8107c3364cd198f329291bc0ef445572c
+Subproject commit 3ff3f9703670ff1c26ec4d83dab4cd9cd11ffb5e

-- 
To view, visit https://gerrit.wikimedia.org/r/214395
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Icbdd12bdb143536cea035112f5aefb8f15fd342a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.26wmf7
Gerrit-Owner: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to