Merge proposals

KR1010 has no merge proposals.