Preparing release 4.0.12
Back to development: 4.0.13