[aur-requests] [PRQ#22397] Deletion Request for cool

[notify--- via aur-requests]

orhun [1] filed a deletion request for cool [2]:

It's not even a repository. I was not aware what I was doing for sure.
Might be deleted.

[1] https://aur.archlinux.org/account/orhun/
[2] https://aur.archlinux.org/pkgbase/cool/