Merge proposals

libecpint in Ubuntu has no merge proposals.