what happened to php-redis? Only php70-redis, phpredis-git and a legacy version remain in the AUR, and I also do not see any deletion request in the request archives.
Kind regards Bjoern
I'm the php70 maintainer here.
Good question, any way someone has just republished it to the AUR: