Release of new version unsing git flow.
Merge branch 'release/1.12' into develop