Merge branch 'jc/gitignore-precedence' into maint

diff --git a/Documentation/git.txt b/Documentation/git.txt
index c71e818cf445d55e793229dd9cb46777e5f53a98..f582742bc81a761218f30cead342491cf5580a5d 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -43,14 +43,17 @@ unreleased) version of Git, that is available from the 'master'
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
-* link:v2.4.0/git.html[documentation for release 2.4]
+* link:v2.4.2/git.html[documentation for release 2.4.2]
 
 * release notes for
+  link:RelNotes/2.4.2.txt[2.4.2],
+  link:RelNotes/2.4.1.txt[2.4.1],
   link:RelNotes/2.4.0.txt[2.4].
 
-* link:v2.3.7/git.html[documentation for release 2.3.7]
+* link:v2.3.8/git.html[documentation for release 2.3.8]
 
 * release notes for
+  link:RelNotes/2.3.8.txt[2.3.8],
   link:RelNotes/2.3.7.txt[2.3.7],
   link:RelNotes/2.3.6.txt[2.3.6],
   link:RelNotes/2.3.5.txt[2.3.5],