Merge branch 'jh/push-default-upstream-configname' into maint

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 0dac7aab573b68e447eebd9102179b309030b62f..0c32d45248c99e9e4b51f168ba03c829ad96423f 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -44,6 +44,12 @@ 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.4.1/git.html[documentation for release 1.7.4.1]
+
+* release notes for
+  link:RelNotes/1.7.4.1.txt[1.7.4.1],
+  link:RelNotes/1.7.4.txt[1.7.4].
+
 * link:v1.7.3.5/git.html[documentation for release 1.7.3.5]
 
 * release notes for