Merge proposals

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