Merge proposals

stop has no merge proposals.