Merge proposals

cppad in Ubuntu has no merge proposals.