Preparation for : release, clean up doc
Merge branch 'feature-prerelease' into develop
Prepare the code for release 3.1.2
Preparation for release: declare correct release number
Preparation for release: update dependencies
Merge branch 'release-3.1.2' into develop
remove .version