Jenkins-mwext-sync has submitted this change and it was merged. Change subject: Syncronize VisualEditor: f239e17..0a23ec7 ......................................................................
Syncronize VisualEditor: f239e17..0a23ec7 Change-Id: Icde3d1e5aa8b7109b78ee74a25bb222fb18303ad --- M VisualEditor 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Jenkins-mwext-sync: Verified; Looks good to me, approved diff --git a/VisualEditor b/VisualEditor index f239e17..0a23ec7 160000 --- a/VisualEditor +++ b/VisualEditor -Subproject commit f239e17a1e3f39b10dea78b8eb790ec174c9c1ab +Subproject commit 0a23ec716d03cc879f42b98147b1f0cc3d7c76f6 -- To view, visit https://gerrit.wikimedia.org/r/279962 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icde3d1e5aa8b7109b78ee74a25bb222fb18303ad Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Jenkins-mwext-sync <[email protected]> Gerrit-Reviewer: Jenkins-mwext-sync <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
