jenkins-bot has submitted this change and it was merged. Change subject: Vector: Delete edit-icon.png ......................................................................
Vector: Delete edit-icon.png It's unused. It was added with the commit that added Vector itself (r51086) and survived being recompressed four times since then. Change-Id: Ia4124c2853ed98f3d0afacd3489f8b1cab0c4c16 --- D skins/vector/images/edit-icon.png 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified diff --git a/skins/vector/images/edit-icon.png b/skins/vector/images/edit-icon.png deleted file mode 100644 index 43e4691..0000000 --- a/skins/vector/images/edit-icon.png +++ /dev/null Binary files differ -- To view, visit https://gerrit.wikimedia.org/r/112301 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia4124c2853ed98f3d0afacd3489f8b1cab0c4c16 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Bartosz DziewoĆski <matma....@gmail.com> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Daniel Friesen <dan...@nadir-seen-fire.com> Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: Waldir <wal...@email.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits