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

[notify at aur.archlinux.org]

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/