Merge branch 'release/0.007011' into develop
0.007012 - Fixed versioning issue

No longer using auto version increment, now manually defined in dist.ini
Merge branch 'release/0.007012'