Git 1.7.1.3

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 46a215824e2e67a56f5791658cc231b5c60a2cfb..b5a4e3d4031961d648b52abc1c64df5b4acfb32c 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -43,6 +43,14 @@ 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.1.2/git.html[documentation for release 1.7.1.2]
+
+* release notes for
+  link:RelNotes-1.7.1.2.txt[1.7.1.2],
+  link:RelNotes-1.7.1.1.txt[1.7.1.1],
+  link:RelNotes-1.7.1.txt[1.7.1].
+
 * link:v1.7.0.7/git.html[documentation for release 1.7.0.7]
 
 * release notes for