Merge branch 'jj/log-doc' into maint

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 4545afbd9ea285075ebef82a1955f5d38a6a8c57..4448ce2704284bde15a8a3222545993035e56467 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -43,9 +43,10 @@ unreleased) version of Git, that is available from 'master'
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
-* link:v1.8.5/git.html[documentation for release 1.8.5]
+* link:v1.8.5.1/git.html[documentation for release 1.8.5.1]
 
 * release notes for
+  link:RelNotes/1.8.5.1.txt[1.8.5.1],
   link:RelNotes/1.8.5.txt[1.8.5].
 
 * link:v1.8.4.5/git.html[documentation for release 1.8.4.5]