Merge proposals

Eric S. Raymond has no merge proposals.