[aur-requests] [PRQ#3255] Deletion Request for gnome-shell-insensitive-message-tray-git

[notify at aur.archlinux.org]

karol_007 [1] filed a deletion request for
gnome-shell-insensitive-message-tray-git [2]:

The submitter wrote in the comments:
This was an error in PKGBUILD, can be deleted; replaced with proper
named package:
https://aur.archlinux.org/packages/gnome-shell-extension-insensitive-message-tray-git/

[1] https://aur.archlinux.org/account/karol_007/
[2]
https://aur.archlinux.org/pkgbase/gnome-shell-insensitive-message-tray-git/