[PRQ#86007] Deletion Request for lib32-portmidi Accepted

[notify]

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

[Autogenerated] Accepted deletion for lib32-portmidi.

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