[aur-requests] [PRQ#33889] Deletion Request for gnome-shell-extension-pop-shell-git-master_jammy
8 Apr
2022
8 Apr
'22
6:39 p.m.
Lulzon [1] filed a deletion request for gnome-shell-extension-pop- shell-git-master_jammy [2]: gnome-shell-extension-pop-shell-git has been updated and this package no longer required [1] https://aur.archlinux.org/account/Lulzon/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pop-shell-git-master...
8 Apr
8 Apr
6:39 p.m.
New subject: [aur-requests] [PRQ#33889] Deletion Request for gnome-shell-extension-pop-shell-git-master_jammy Accepted
Request #33889 has been Accepted by Lulzon [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-pop-shell- git-master_jammy. [1] https://aur.archlinux.org/account/Lulzon/
947
Age (days ago)
947
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org