[PRQ#53565] Deletion Request for php80-igbinary

[notify]

muhviehstarr [1] filed a deletion request for php80-igbinary [2]:

Not needed anymore

[1] https://aur.archlinux.org/account/muhviehstarr/
[2] https://aur.archlinux.org/pkgbase/php80-igbinary/