Catrope has submitted this change and it was merged.

Change subject: Update VE core for cherry-pick
......................................................................


Update VE core for cherry-pick

New changes:
4f0aca0 Followup a618491: fix JS errors when slugging near annotated inline 
nodes

Change-Id: I7eeba96171142ceaa746bc2f1112e36bce0da45f
---
M lib/ve
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Catrope: Verified; Looks good to me, approved



diff --git a/lib/ve b/lib/ve
index 6e68242..4f0aca0 160000
--- a/lib/ve
+++ b/lib/ve
-Subproject commit 6e68242f8bee29d68fdf5db0289a323024c65b04
+Subproject commit 4f0aca0d56f313261dd9fd1e2fba206098d91157

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I7eeba96171142ceaa746bc2f1112e36bce0da45f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: wmf/1.25wmf1
Gerrit-Owner: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
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