Merge proposals

phpunit-type in Ubuntu has no merge proposals.