#5583: Please blocked gnome-shell-extension-icon-manager in rawhide/ F18/F19

[Fedora Release Engineering]

#5583: Please blocked gnome-shell-extension-icon-manager in rawhide/ F18/F19
-----------------------------+------------------------
 Reporter:  llaumgui         |       Owner:  rel-eng@…
     Type:  task             |      Status:  new
Milestone:  Fedora 19 Alpha  |   Component:  koji
 Keywords:                   |  Blocked By:
 Blocking:                   |
-----------------------------+------------------------
 hi,

 This extension is disontinued : https://github.com/MrTheodor/gnome-shell-
 ext-icon-manager

 Never ported to GNOME 3.6 (Can remove F18 branch), I prefere remove this
 extension from Fedora.

 Especially as you can use TopIcon in replacement :
 https://extensions.gnome.org/extension/495/topicons/

 Thx

-- 
Ticket URL: <https://fedorahosted.org/rel-eng/ticket/5583>
Fedora Release Engineering <http://fedorahosted.org/rel-eng>
Release Engineering for the Fedora Project