Merge proposals

Stan has no merge proposals.