version fix
Merge branch 'release/4.0.12'