Merge proposals

Crystal has no merge proposals.