[PRQ#51853] Deletion Request for gnome-shell-extension-pop-shell-bin Accepted

Request #51853 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-pop-shell- bin. [1] https://aur.archlinux.org/account/muflone/