jenkins-bot has submitted this change and it was merged. Change subject: Update VisualEditor to I7e81a8dc ......................................................................
Update VisualEditor to I7e81a8dc Change-Id: I74ef206bdaba0ad876a3bc5602cd13a104617b0c --- M extensions/VisualEditor 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Anomie: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/VisualEditor b/extensions/VisualEditor index 2aea5b0..3046808 160000 --- a/extensions/VisualEditor +++ b/extensions/VisualEditor -Subproject commit 2aea5b0287528e12112b249f1c3f7b99c258aae1 +Subproject commit 30468083e9128fd2586c31e003bdb795363e0d25 -- To view, visit https://gerrit.wikimedia.org/r/135977 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I74ef206bdaba0ad876a3bc5602cd13a104617b0c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.24wmf6 Gerrit-Owner: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Anomie <bjor...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
