version.sh: it is not an error when the version number is already correct.
version.sh: it is not an error when the version number is already correct.

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