justin8 [1] filed a request to merge gnome-shell-extension-topicons [2] into gnome-shell-extension-topicons-plus-git [3]:
topicons has been unmaintained for a while and is succeeded by topicons-plus now. [1] https://aur.archlinux.org/account/justin8/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons-plus-git/
