version number for release 1.2.12
Merge branch 'release/release-1.2.12' into develop