Merge proposals

diff-cover in Ubuntu has no merge proposals.