summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Documentation/git.txt5
-rwxr-xr-xGIT-VERSION-GEN2
2 files changed, 6 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt
index eb6b2c0117..27da0eb209 100644
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -44,6 +44,11 @@ unreleased) version of git, that is available from 'master'
branch of the `git.git` repository.
Documentation for older releases are available here:
+* link:v1.7.12/git.html[documentation for release 1.7.12]
+
+* release notes for
+ link:RelNotes/1.7.12.txt[1.7.12].
+
* link:v1.7.11.5/git.html[documentation for release 1.7.11.5]
* release notes for
diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index d7ad6444db..b27a2ff687 100755
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
#!/bin/sh
GVF=GIT-VERSION-FILE
-DEF_VER=v1.7.12-rc3
+DEF_VER=v1.7.12
LF='
'