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 160000 --- 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 <jforres...@wikimedia.org> Gerrit-Reviewer: Tchanders <thalia.e.c...@googlemail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits