Merge proposals

Ned Batchelder has no merge proposals.