bugfix (bump-version-number depends on reset and update git submodules for building the webinstallers)