jenkins-bot has submitted this change and it was merged. Change subject: Update Vector for cherry-picks ......................................................................
Update Vector for cherry-picks Change-Id: I9dda7f8a8b63fefdbfbca8ece3bee1087f913b59 --- M skins/Vector 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Ori.livneh: Looks good to me, approved jenkins-bot: Verified diff --git a/skins/Vector b/skins/Vector index 5ac794a..176b7e2 160000 --- a/skins/Vector +++ b/skins/Vector -Subproject commit 5ac794ac0fd7e23bc071b9402aac259627e86ff6 +Subproject commit 176b7e2a0e26cffb76429145cc3e067cd38918b1 -- To view, visit https://gerrit.wikimedia.org/r/190702 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9dda7f8a8b63fefdbfbca8ece3bee1087f913b59 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf17 Gerrit-Owner: Ori.livneh <[email protected]> Gerrit-Reviewer: Daniel Friesen <[email protected]> Gerrit-Reviewer: Jack Phoenix <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: Waldir <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
