Mirrror of git://git.gnome.org/gnome-icon-theme-extras