Bumped version to 3.1.2 (from 3.1.2-SNAPSHOT).