[PRQ#48277] Deletion Request for php71-redis

[notify]

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

EOL, unused PHP 7.1 module from 2020.

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