[PRQ#41013] Deletion Request for gnome-shell-extension-gnome-clipboard-history

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...