Learn more about these different git repos.
Other Git URLs
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
blocked in f19 up, we cant remove things from released distros. be sure to follow all steps at https://fedoraproject.org/wiki/How_to_remove_a_package_at_end_of_life
Metadata Update from @llaumgui: - Issue set to the milestone: Fedora 19 Alpha
Login to comment on this ticket.