[aur-requests] [PRQ#4155] Merge Request for gnome-shell-extension-icontopbar

wallacoloo [1] filed a request to merge gnome-shell-extension- icontopbar [2] into gnome-shell-extension-topicons [3]: Both of these packages provide the same gnome extension, "TopIcons". [1] https://aur.archlinux.org/account/wallacoloo/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-icontopbar/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons/