Merge proposals

Paganini has no merge proposals.