erf.sh: Remove this bug report (it that has been fixed).
erf.sh: Remove this bug report (it that has been fixed).

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