[aur-requests] [PRQ#36453] Deletion Request for gnome-shell-extension-pip-on-top43 Accepted

[notify--- via aur-requests]

Request #36453 has been Accepted by ewout [1]:

[Autogenerated] Accepted deletion for gnome-shell-extension-pip-on-
top43.

[1] https://aur.archlinux.org/account/ewout/