On Mon, Sep 24, 2012 at 1:07 AM, foalsrock <foalsrock at gmail.com> wrote: > 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 Done, thanks.