Merge proposals

Richard Weideman has no merge proposals.