bump version number
Merge branch 'release/1.5.12' into develop