Merge proposals

MirrorKit has no merge proposals.