Bumping version number
Merge pull request #1484 from github/cut-release-v3.1.2

Bumping version number