[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[master]: Update VE core submodule to master (4314b9ead)

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/371655 )

Change subject: Update VE core submodule to master (4314b9ead)
..


Update VE core submodule to master (4314b9ead)

New changes:
4ff864094 VisualDiff: Merge old internal list into new document
4314b9ead ve.ce.BranchNode.css: Correct dated comment about styling

Bug: T173100
Change-Id: I68d95d0ce809481f45583eac5d9f4562826b2314
---
M lib/ve
1 file changed, 1 insertion(+), 1 deletion(-)

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



diff --git a/lib/ve b/lib/ve
index 81a4760..4314b9e 16
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 81a4760ea38c793575afb1612f954e4efcb4f2dc
+Subproject commit 4314b9ead058aec90a43b605787ca59bad96d322

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I68d95d0ce809481f45583eac5d9f4562826b2314
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Tchanders 
Gerrit-Reviewer: jenkins-bot <>

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

[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[master]: Update VE core submodule to master (4314b9ead)

[Jforrester (Code Review)]

Jforrester has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/371655 )

Change subject: Update VE core submodule to master (4314b9ead)
..

Update VE core submodule to master (4314b9ead)

New changes:
4ff864094 VisualDiff: Merge old internal list into new document
4314b9ead ve.ce.BranchNode.css: Correct dated comment about styling

Bug: T173100
Change-Id: I68d95d0ce809481f45583eac5d9f4562826b2314
---
M lib/ve
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor 
refs/changes/55/371655/1

diff --git a/lib/ve b/lib/ve
index 81a4760..4314b9e 16
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 81a4760ea38c793575afb1612f954e4efcb4f2dc
+Subproject commit 4314b9ead058aec90a43b605787ca59bad96d322

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I68d95d0ce809481f45583eac5d9f4562826b2314
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester 

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