Jforrester has uploaded a new change for review. https://gerrit.wikimedia.org/r/181002
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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor refs/changes/02/181002/1 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: newchange Gerrit-Change-Id: I2a7df955ab7fc8c2ce7e99d0773d1fbf83daff6d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: wmf/1.25wmf12 Gerrit-Owner: Jforrester <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
