Update version number.
Merge branch 'release/3.1.2-3' into develop