[aur-requests] [PRQ#36447] Deletion Request for gnome-shell-extension-pip-on-top-gnome43 Accepted

Request #36447 has been Accepted by ewout [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-pip-on- top-gnome43. [1] https://aur.archlinux.org/account/ewout/