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

[notify at aur.archlinux.org]

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/