jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (6645b10) ......................................................................
Update VE core submodule to master (6645b10) 6645b10 Merge "Clean up CONTRIBUTING.md and README.md for VE core" c10a2b5 ve.init.Target: Fix $document property documentation 0bce7f6 Clean up CONTRIBUTING.md and README.md for VE core Change-Id: Ib24672d322e90b6264f0cf08855d9ce53a7225fa --- M lib/ve 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Krinkle: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index e699956..6645b10 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit e699956799924a3f6d39efd928bbb7b83458935b +Subproject commit 6645b100a3f5cd8e03e512188c9830e02b4d7495 -- To view, visit https://gerrit.wikimedia.org/r/107865 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib24672d322e90b6264f0cf08855d9ce53a7225fa Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
