Merge proposals

coinor-vol in Ubuntu has no merge proposals.