jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (f1fa096) ......................................................................
Update VE core submodule to master (f1fa096) New changes: a3ca325 Use OO.ui constants for mouse buttons Change-Id: Ic1a4bf370c6a28f0f8049f0d6b6e7627ea0bcf84 --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Divec: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 070fa4b..f1fa096 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 070fa4b36913fdde569daa44416d6b9488dba27d +Subproject commit f1fa096c81ab7842490625116184d149f8c500e8 -- To view, visit https://gerrit.wikimedia.org/r/304313 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic1a4bf370c6a28f0f8049f0d6b6e7627ea0bcf84 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: DLynch <[email protected]> Gerrit-Reviewer: Divec <[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
