Make a version number explicit in TODO file
Bump version to 3.7.5.2