news file
bump version 3.1.12
dist files 3.1.12
Merge branch 'release/3.1.12' into develop
bumto dev version 3.1.13-dev