whats_new_15.omh: Correction to previous commit.
whats_new_15.omh: Correction to previous commit.

kaskr/CppAD,wegamekinglc/CppAD,kaskr/CppAD,wegamekinglc/CppAD,kaskr/CppAD,wegamekinglc/CppAD,kaskr/CppAD,wegamekinglc/CppAD,kaskr/CppAD,wegamekinglc/CppAD