Merge proposals

php-redis in Ubuntu has no merge proposals.