Merge proposals

Istanbul has no merge proposals.