Merge proposals

igor2 in Ubuntu has no merge proposals.