Merge proposals

Gary R has no merge proposals.