jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (8b83816) ......................................................................
Update VE core submodule to master (8b83816) New changes: 751a65c Localisation updates from https://translatewiki.net. 77047b6 Localisation updates from https://translatewiki.net. 82679b9 Kill grey border on find-and-replace dialog in MediaWiki theme 15ae875 Localisation updates from https://translatewiki.net. a279340 Localisation updates from https://translatewiki.net. 8b83816 Update OOjs to v1.1.4 Change-Id: Ibafcd3e47e445a3509122bdaea3b678ee226e0fa --- M lib/ve 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Mooeypoo: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 916d1b9..8b83816 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 916d1b9c82d6ebfdd4468024c510c20f63a16b13 +Subproject commit 8b83816ce6c4dc64348a8b9b4068a9ab2dc8890f -- To view, visit https://gerrit.wikimedia.org/r/186403 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibafcd3e47e445a3509122bdaea3b678ee226e0fa Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Mooeypoo <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
