[PRQ#86215] Deletion Request for minizinc-ide-edge Accepted

[notify]

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

[Autogenerated] Accepted deletion for minizinc-ide-edge.

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