[PRQ#86936] Deletion Request for grok-bot Accepted

[notify]

Request #86936 has been Accepted by Muflone [1]:

[Autogenerated] Accepted deletion for grok-bot.

[1] https://aur.archlinux.org/account/Muflone/