Merge proposals

D. J. Waletzky has no merge proposals.