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

Change subject: Syncronize VisualEditor: 0e87a70..0c92ef9
......................................................................


Syncronize VisualEditor: 0e87a70..0c92ef9

Change-Id: If8122de275c764a3251785804c655b78674d1dab
---
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 0e87a70..0c92ef9 160000
--- a/VisualEditor
+++ b/VisualEditor
-Subproject commit 0e87a70e8fb29ae96c98b2f452a9c730d7f50ffa
+Subproject commit 0c92ef904cfede261b924e250f195cf7bb6a79f3

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

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