Update version to 3.1.2-4.
Provide tar-ball archive.
Merge branch 'release/3.1.2-4' into develop