[aur-requests] [PRQ#5949] Merge Request for gnome-shell-extension-topicons

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/