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

notify at aur.archlinux.org notify at aur.archlinux.org
Fri Jul 15 16:58:03 UTC 2022


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

Renamed to gnome-shell-extension-pip-on-top43

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


More information about the aur-requests mailing list