Minor change in the git-revision submodule.