Merge proposals

tup in Ubuntu has no merge proposals.