Merge proposals

Jim Lehmer has no merge proposals.