Merge proposals

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