[PRQ#45457] Deletion Request for coin-or-osi-git Accepted

Request #45457 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for coin-or-osi-git. [1] https://aur.archlinux.org/account/muflone/