From af7600db15fc13e225d8f2b1316cf4494126bded Mon Sep 17 00:00:00 2001
From: Pacho Ramos <pacho@gentoo.org>
Date: Sun, 4 Dec 2016 11:32:56 +0100
Subject: [PATCH] package.mask: gnome-icon-theme-extras is still needed, bug
 #599990

---
 profiles/package.mask | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/profiles/package.mask b/profiles/package.mask
index d87ee4dad03c..e044cc114690 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -178,11 +178,6 @@ www-apps/bitten
 # (#599888). Removal in a month.
 media-sound/christine
 
-# Pacho Ramos <pacho@gentoo.org> (27 Nov 2016)
-# Nothing needs this obsolete package anymore, bug #599990, removal in a
-# month.
-x11-themes/gnome-icon-theme-extras
-
 # Pacho Ramos <pacho@gentoo.org> (27 Nov 2016)
 # Relies on obsolete and vulnerable webkit-gtk versions, bug #600898
 www-client/vimb
-- 
2.26.2