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

[notify]

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/