[PRQ#48275] Deletion Request for php-redis-3

1 Oct 2023

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

Unused legacy redis nodule for PHP from 2018.
Not compatible with current php 8+.

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

notify＠aur.archlinux.org