[aur-requests] [PRQ#1373] Deletion Request for osi

[notify]

xantares [1] filed a deletion request for osi [2]:

rename coinor-osi

[1] https://aur.archlinux.org/account/xantares/
[2] https://aur.archlinux.org/pkgbase/osi/