[PRQ#82428] Deletion Request for mine-knowledge-mma-bin Accepted

[notify]

Request #82428 has been Accepted by tippfehlr [1]:

[Autogenerated] Accepted deletion for mine-knowledge-mma-bin.

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