jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/364229 )
Change subject: Update VE core submodule to master (b76c9699b) ...................................................................... Update VE core submodule to master (b76c9699b) New changes: cc1214901 Fix word wrapping CSS in source mode fed88cc3a Localisation updates from https://translatewiki.net. d648467a5 DiffElement: hide strikethrough on hover 0428407a0 getSourceText: Fix edge case Bug: T159271 Bug: T169851 Bug: T170133 Change-Id: I942e3cf4251d6435cadceae92680e8d471966efa --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: DLynch: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 5d7b237..b76c969 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 5d7b2376224cc8e016ff77d5489b730bca909b48 +Subproject commit b76c9699b7463845d9e9e942bed0a04d60309ac5 -- To view, visit https://gerrit.wikimedia.org/r/364229 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I942e3cf4251d6435cadceae92680e8d471966efa Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Bartosz DziewoĆski <matma....@gmail.com> Gerrit-Reviewer: DLynch <dly...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits