Merge proposals

Bruce has no merge proposals.