Merge proposals

Chomp has no merge proposals.