[aur-requests] [PRQ#16880] Deletion Request for gnome-shell-extension-shellshape-git

[notify at aur.archlinux.org]

cschmid [1] filed a deletion request for gnome-shell-extension-
shellshape-git [2]:

It does not build anymore and according to
https://extensions.gnome.org/extension/294/shellshape/
it had been discontinued.

[1] https://aur.archlinux.org/account/cschmid/
[2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-shellshape-git/