jenkins-bot has submitted this change and it was merged. Change subject: Update VE-MW submodule to wmf/1.27.0-wmf.17 HEAD (6bd7f7c) ......................................................................
Update VE-MW submodule to wmf/1.27.0-wmf.17 HEAD (6bd7f7c) New changes: 6bd7f7c Update VE core submodule to wmf/1.27.0-wmf.17 HEAD (a46d84e) Change-Id: I56a7b0de9b3f1c36b4c0ac3d85ff3e1bb17ed33b --- M extensions/VisualEditor 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/VisualEditor b/extensions/VisualEditor index f647f31..6bd7f7c 160000 --- a/extensions/VisualEditor +++ b/extensions/VisualEditor -Subproject commit f647f31abca1d3261ece7342e6f721c9651b9e38 +Subproject commit 6bd7f7c2250c967c396a73413452241074c18012 -- To view, visit https://gerrit.wikimedia.org/r/279279 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I56a7b0de9b3f1c36b4c0ac3d85ff3e1bb17ed33b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.27.0-wmf.17 Gerrit-Owner: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Catrope <roan.katt...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
