Sync with 1.7.1.2

diff --cc Documentation/git.txt
index 27ece58,b5a4e3d..f6e10f5
--- 1/Documentation/git.txt
--- 2/Documentation/git.txt
+++ b/Documentation/git.txt
@@@ -44,14 -43,11 +44,15 @@@ unreleased) version of git, that is ava
  branch of the `git.git` repository.
  Documentation for older releases are available here:
  
 +* link:v1.7.2/git.html[documentation for release 1.7.2]
 +
 +* release notes for
 +  link:RelNotes-1.7.2.txt[1.7.2].
  
- * link:v1.7.1.1/git.html[documentation for release 1.7.1.1]
+ * link:v1.7.1.2/git.html[documentation for release 1.7.1.2]
  
  * release notes for
+   link:RelNotes-1.7.1.2.txt[1.7.1.2],
    link:RelNotes-1.7.1.1.txt[1.7.1.1],
    link:RelNotes-1.7.1.txt[1.7.1].
  

diff --cc t/t1300-repo-config.sh
Simple merge