branch: no detached HEAD check when editing another branch's description

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 48bd04e22d3bef2c9a4bbeb5e776ece42cedff9a..fbdd2a5a6a6fb58875397b49fb5cdd8041b48737 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -43,9 +43,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.12.2/git.html[documentation for release 1.7.12.2]
+* link:v1.7.12.4/git.html[documentation for release 1.7.12.4]
 
 * release notes for
+  link:RelNotes/1.7.12.4.txt[1.7.12.4],
+  link:RelNotes/1.7.12.3.txt[1.7.12.3],
   link:RelNotes/1.7.12.2.txt[1.7.12.2],
   link:RelNotes/1.7.12.1.txt[1.7.12.1],
   link:RelNotes/1.7.12.txt[1.7.12].