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

Reply via email to