jenkins-bot has submitted this change and it was merged. Change subject: Update sub-module for cherry-pick to dd5df33a3 ......................................................................
Update sub-module for cherry-pick to dd5df33a3 New changes: dd5df33 Stop propagation of events after handling trigger keys Change-Id: I2a7df955ab7fc8c2ce7e99d0773d1fbf83daff6d --- M lib/ve 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Hoo man: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index b6423de..dd5df33 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit b6423dea45d3c6b1d8755dce47e1eb0dd808cb6d +Subproject commit dd5df33a312be1cf9fa253a5f7624216352c5929 -- To view, visit https://gerrit.wikimedia.org/r/181002 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2a7df955ab7fc8c2ce7e99d0773d1fbf83daff6d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: wmf/1.25wmf12 Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Hoo man <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
