dont-use-git-for-version-texi.patch
