Merge proposals

Baruch has no merge proposals.