[PRQ#47152] Deletion Request for php7-pcov

[notify]

MarsSeed [1] filed a deletion request for php7-pcov [2]:

Legacy, defunct package for php7, as the latter no longer exists.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/php7-pcov/