[PRQ#41013] Deletion Request for gnome-shell-extension-gnome-clipboard-history
15 Apr
2023
15 Apr
'23
12:31 p.m.
doppelhelix [1] filed a deletion request for gnome-shell-extension- gnome-clipboard-history [2]: the same software is already present at https://aur.archlinux.org/packages/gnome-shell-extension-clipboard- history Since my package was added after the aforementioned it is only fitting to delete it [1] https://aur.archlinux.org/account/doppelhelix/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-gnome-clipboard-hist...
15 Apr
15 Apr
2:58 p.m.
New subject: [PRQ#41013] Deletion Request for gnome-shell-extension-gnome-clipboard-history Accepted
Request #41013 has been Accepted by Antiz [1]: [Autogenerated] Accepted deletion for gnome-shell-extension-gnome- clipboard-history. [1] https://aur.archlinux.org/account/Antiz/
619
Age (days ago)
619
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org