Undocument deprecated alias 'push.default=tracking'

diff --git a/Documentation/git.txt b/Documentation/git.txt
index ae34e8a7f6b34d81550f0adf60098b075e8b7757..ca85d1d210dc6015fef205e543f34b6f25733fca 100644 (file)
--- 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.10/git.html[documentation for release 1.7.10]
+
+* release notes for
+  link:RelNotes/1.7.10.txt[1.7.10].
+
 * link:v1.7.9.6/git.html[documentation for release 1.7.9.6]
 
 * release notes for