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

[notify--- via aur-requests]

ewout [1] filed a deletion request for gnome-shell-extension-pip-on-
top43 [2]:

GNOME 34.alpha support is in -git package now.

[1] https://aur.archlinux.org/account/ewout/
[2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pip-on-top43/