Merge proposals

VINT has no merge proposals.