Merge proposals

php-horde-controller in Ubuntu has no merge proposals.