Merge proposals

Sigra has no merge proposals.