Re: #5663: gnome-icon-theme-3.8.2-3.fc19 has no tags