Merge proposals

Koma has no merge proposals.