Preparing release 1.7.12
Back to development: 1.7.13