Merge branch 'develop' into feature-docs
update docs
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-docs
Comment runner test
Clean up release.sh (now that maven-release-plugin seeems up-to-date..)
Merge branch 'develop' into feature-docs
Merge branch 'feature-docs' into develop