[aur-general] Merge request: phpredis/php-redis

[Jerome Leclanche]

https://aur.archlinux.org/packages/php-redis/
https://aur.archlinux.org/packages/phpredis/

One needs to be merged into the other. I don't know which into which
as I don't deal with php packages.

J. Leclanche