[PRQ#82218] Deletion Request for mini-agent-bin Accepted

[notify]

Request #82218 has been Accepted by hcartiaux [1]:

[Autogenerated] Accepted deletion for mini-agent-bin.

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