Bump version number for 12.0.2 release.