[PRQ#44144] Deletion Request for gnome-shell-extension-timer-git
10 Jul
2023
10 Jul
'23
11:58 a.m.
olebowle [1] filed a deletion request for gnome-shell-extension-timer- git [2]: Request to delete the package, since upstream (my github repo) is unmaintained for more then four years. [1] https://aur.archlinux.org/account/olebowle/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-timer-git/
21 Jul
21 Jul
8:04 a.m.
New subject: [PRQ#44144] Deletion Request for gnome-shell-extension-timer-git Accepted
Request #44144 has been Accepted by artafinde [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-timer-git. [1] https://aur.archlinux.org/account/artafinde/
481
Age (days ago)
492
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org