Jenkins-mwext-sync has submitted this change and it was merged.

Change subject: Syncronize VisualEditor: 7e0b5c9..34ce74e
......................................................................


Syncronize VisualEditor: 7e0b5c9..34ce74e

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

Approvals:
  Jenkins-mwext-sync: Verified; Looks good to me, approved



diff --git a/VisualEditor b/VisualEditor
index 7e0b5c9..34ce74e 160000
--- a/VisualEditor
+++ b/VisualEditor
-Subproject commit 7e0b5c9323ef625ed90c8da7c550294b41cf45b4
+Subproject commit 34ce74e044e7c1e0a28db1991ef3a02f90fb95fd

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I94fd5ef8723bb1d04046ba6b1a1bf0d0c7d011eb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Jenkins-mwext-sync <[email protected]>
Gerrit-Reviewer: Jenkins-mwext-sync <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to