Merge branch 'release/1.1' into develop
Merge commit '0549068cbadeaf2b2e50369b9e1b7a77fb112fb9' into develop
Change development version
Check and fix NOCOMMIT hook
Read Git dir correctly
Read command line flags an set sensible defaults
Bump version to 1.2 for release
Merge branch 'release/1.2'