jenkins-bot has submitted this change and it was merged. Change subject: Update sub-module for cherry-pick to 9751ebc ......................................................................
Update sub-module for cherry-pick to 9751ebc New changes: f4cfc90 Fix webkit column hack Change-Id: Ia512572f10eeadec485d9b30b5c6a28779579f75 --- 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 263b194..9751ebc 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 263b194004ab77f6a013fb10641d8f162d2a568d +Subproject commit 9751ebc132b6c6dc4d3c31cc8e4fe9b338ff2407 -- To view, visit https://gerrit.wikimedia.org/r/198453 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia512572f10eeadec485d9b30b5c6a28779579f75 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: wmf/1.25wmf21 Gerrit-Owner: Jforrester <[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
