diff --git a/Documentation/git.txt b/Documentation/git.txt
index eb6b2c01172a703e2fe9a92e4a8d3301c6286378..27da0eb209446ea9d7c1b7705f64403f0013e49b 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 d7ad6444db50f1de04f13ed7dd9befc09533eb2e..b27a2ff687183607854ed630519b30e4136d0b6c 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='
 '