Hi, 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