Prepare a 3.1.2 release.