Merge proposals

coinor-ipopt in Ubuntu has no merge proposals.