version bump
Merge branch 'release/0.7.12' into develop