Merge branch 'release-0.0.1'
Merge branch 'release-0.0.1'
Merge branch 'release-0.0.1'
Use --branch develop rather than master
Save Jenkins configuration, with _release jobs and updated non-release jobs (SCM branch=origin/develop, etc.)
Merge branch 'master' into release-0.0.1
Bump version number to 0.0.1