Merge proposals

InfSub has no merge proposals.