jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (51a919d) ......................................................................
Update VE core submodule to master (51a919d) New changes: 618a773 Update OOjs UI to v0.1.0-pre (99ec31d9b9) e651bd9 Update OOjs UI to v0.1.0-pre (0d358b167a) 0918a82 Use better unicorn image data 1eea699 Stage an empty comment node when inserting e49a185 Fix height calculation in fragment inspector 26c8566 Stage a space when inserting a special character 480472c Localisation updates from https://translatewiki.net. 990e807 Update OOjs UI to v0.1.0-pre (db065e5a9f) 279031d Fix scroll jumping in Firefox when pasting at end of line 5519914 Handle paste events on the paste target Change-Id: I760e0f31cbd20dc704a4131384d84d671520f339 --- M lib/ve 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 0190744..51a919d 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 01907448cd0dbc0ae2dd3ad6ed5cf7d4152cd4f2 +Subproject commit 51a919d4d99082a696037579b4ef70fd7e772ef5 -- To view, visit https://gerrit.wikimedia.org/r/167636 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I760e0f31cbd20dc704a4131384d84d671520f339 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Catrope <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
