[PRQ#48278] Deletion Request for php72-redis

[notify]

MarsSeed [1] filed a deletion request for php72-redis [2]:

EOL, unused PHP 7.2 module from 2021.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/php72-redis/