update HISTORY.
Bump version to 1.25.2