It is *never* OK to change version in a pull request.