Merge proposals

Kurt Hornik has no merge proposals.