jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372842 )
Change subject: Update VE core submodule to master (72cc043b7) ...................................................................... Update VE core submodule to master (72cc043b7) New changes: c0ce8519c ce.GeneratedContentNode: helper for waiting for generation fec19de11 Use version 0.5.0 of eslint-config-wikimedia 5716d2bb2 Localisation updates from https://translatewiki.net. 385d925ed Follow-up 5716d2bb2c: Add ko-kp to build to unbreak the repo Bug: T168932 Change-Id: I50fcf1cb3f517b50dc373243dd876bc117030790 --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: DLynch: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 4314b9e..72cc043 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 4314b9ead058aec90a43b605787ca59bad96d322 +Subproject commit 72cc043b7a73f972ff777c00fbda071af404e573 -- To view, visit https://gerrit.wikimedia.org/r/372842 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I50fcf1cb3f517b50dc373243dd876bc117030790 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: DLynch <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
