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

Change subject: Syncronize VisualEditor: 67512b9..19afd65
......................................................................


Syncronize VisualEditor: 67512b9..19afd65

Change-Id: I27625bff5c37cb08b5eb786b310a2513833215ba
---
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 67512b9..19afd65 160000
--- a/VisualEditor
+++ b/VisualEditor
-Subproject commit 67512b90cde792e01918f3a857a531c06d97029a
+Subproject commit 19afd65a086bcb204a69e25429c9bedc2f5c2fea

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I27625bff5c37cb08b5eb786b310a2513833215ba
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