Preparing release 3.1.2
Back to development: 3.1.3