Merge proposals

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