update version
Merge branch 'release_0.3.12'
Merge branch 'master' into develop