[aur-general] Deletion request

[foalsrock]

Hello,
I'm the maintainer for the gnome-shell-theme-gsmall package [1],
the source files have been removed and the theme seems discontinued.
I'd like to have the package deleted.
Thanks

[1] https://aur.archlinux.org/packages.php?ID=52012