Update NEWS.
Bump version to 3.12.2