Catrope has submitted this change and it was merged.

Change subject: Update VE to master again to pick up 10fd1a3, 1875851
......................................................................


Update VE to master again to pick up 10fd1a3, 1875851

Change-Id: Id9c6f2021d486bd97935c0d665b8ecf108ba921d
(cherry picked from commit d7d0c83544bb292b5f9161cf23284e7680671c1a)
---
M extensions/VisualEditor
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Catrope: Verified; Looks good to me, approved



diff --git a/extensions/VisualEditor b/extensions/VisualEditor
index 7c58fc9..1875851 160000
--- a/extensions/VisualEditor
+++ b/extensions/VisualEditor
-Subproject commit 7c58fc9394e878014a8d6dcddc99fa6bc2cde4ea
+Subproject commit 1875851f7e471fbe817067d99510d512ef74793c

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Id9c6f2021d486bd97935c0d665b8ecf108ba921d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.22wmf8
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>

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

Reply via email to