[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[master]: Update VE core submodule to master (a6c25d08e)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/345794 ) Change subject: Update VE core submodule to master (a6c25d08e) .. Update VE core submodule to master (a6c25d08e) New changes: 803e45655 Serialize/deserialize for Transaction and IndexValueStore fff77990b build: Bump various devDependencies to latest d926b3bed Update OOjs UI to v0.20.1 50cbc8af5 Fix disabling of surface f2223fcdb Localisation updates from https://translatewiki.net. daf59c3af ve.Node: Fix getRoot/getParent/getDocument documentation 8d877214f Update OOjs UI to v0.20.2 2ceaa8e23 ve.ui.Sequences: Allow optional execution after pastes Bug: T161152 Bug: T161611 Change-Id: I07deafbfce86af99fce7db6501e43a62a330911a --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Bartosz Dziewoński: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 495cd7d..a6c25d0 16 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 495cd7d654397285841e168f3bc9ddff13969b29 +Subproject commit a6c25d08e866dfd94af1fefa9b690a6fd9c12eec -- To view, visit https://gerrit.wikimedia.org/r/345794 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I07deafbfce86af99fce7db6501e43a62a330911a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: JforresterGerrit-Reviewer: Bartosz Dziewoński Gerrit-Reviewer: Esanders 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 (a6c25d08e)
Jforrester has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/345794 ) Change subject: Update VE core submodule to master (a6c25d08e) .. Update VE core submodule to master (a6c25d08e) New changes: 803e45655 Serialize/deserialize for Transaction and IndexValueStore fff77990b build: Bump various devDependencies to latest d926b3bed Update OOjs UI to v0.20.1 50cbc8af5 Fix disabling of surface f2223fcdb Localisation updates from https://translatewiki.net. daf59c3af ve.Node: Fix getRoot/getParent/getDocument documentation 8d877214f Update OOjs UI to v0.20.2 2ceaa8e23 ve.ui.Sequences: Allow optional execution after pastes Bug: T161152 Bug: T161611 Change-Id: I07deafbfce86af99fce7db6501e43a62a330911a --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor refs/changes/94/345794/1 diff --git a/lib/ve b/lib/ve index 495cd7d..a6c25d0 16 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 495cd7d654397285841e168f3bc9ddff13969b29 +Subproject commit a6c25d08e866dfd94af1fefa9b690a6fd9c12eec -- To view, visit https://gerrit.wikimedia.org/r/345794 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I07deafbfce86af99fce7db6501e43a62a330911a 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