jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/396050 )
Change subject: Update VE core submodule to 1.31.0-wmf.11 HEAD (56fe63b62) ...................................................................... Update VE core submodule to 1.31.0-wmf.11 HEAD (56fe63b62) New changes: 56fe63b62 Don't execute commands twice Bug: T182270 Change-Id: Ief48048796478cac0ee007b3581449c889fa67ce --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 7894515..56fe63b 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 78945151120ad2db06185faa6e444d4a6341f13d +Subproject commit 56fe63b62e401c3a45ea557a1a7de71e0d615fab -- To view, visit https://gerrit.wikimedia.org/r/396050 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ief48048796478cac0ee007b3581449c889fa67ce Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: wmf/1.31.0-wmf.11 Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
