Merge branch 'hotfix/fix_version'
Merge branch 'develop' of github.com:openwebwork/webwork2 into develop