[aur-requests] [PRQ#36447] Deletion Request for gnome-shell-extension-pip-on-top-gnome43
15 Jul
2022
15 Jul
'22
4:58 p.m.
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/
15 Jul
15 Jul
4:58 p.m.
New subject: [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/
904
Age (days ago)
904
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org