Merge proposals

Double12 has no merge proposals.