package.mask: gnome-icon-theme-extras is still needed, bug #599990
authorPacho Ramos <pacho@gentoo.org>
Sun, 4 Dec 2016 10:32:56 +0000 (11:32 +0100)
committerPacho Ramos <pacho@gentoo.org>
Sun, 4 Dec 2016 10:32:56 +0000 (11:32 +0100)
profiles/package.mask

index d87ee4dad03c42d2f209cf8f5f6473e9f9132f3d..e044cc1146904b1eca791eb9fa4575fd29edf4fb 100644 (file)
@@ -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