[aur-requests] [PRQ#10398] Deletion Request for gringo

[notify at aur.archlinux.org]

Edgemaster [1] filed a deletion request for gringo [2]:

community package `clingo` now provides `gringo`.

[1] https://aur.archlinux.org/account/Edgemaster/
[2] https://aur.archlinux.org/pkgbase/gringo/