Git 1.7.1.3

Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --cc Documentation/RelNotes/1.7.1.3.txt
index 0000000,0000000..5b18518
new file mode 100644 (file)
--- /dev/null
--- /dev/null
+++ b/Documentation/RelNotes/1.7.1.3.txt
@@@ -1,0 -1,0 +1,10 @@@
++Git v1.7.1.3 Release Notes
++==========================
++
++This is primarily to backport support for the new "add.ignoreErrors"
++name given to the existing "add.ignore-errors" configuration variable.
++
++The next version, Git 1.7.4, and future versions, will support both
++old and incorrect name and the new corrected name, but without this
++backport, users who want to use the new name "add.ignoreErrors" in
++their repositories cannot use older versions of Git.

diff --cc GIT-VERSION-GEN
index 31d95da,4149fa9..8eb10c2
--- 1/GIT-VERSION-GEN
--- 2/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@@ -1,7 -1,7 +1,7 @@@
  #!/bin/sh
  
  GVF=GIT-VERSION-FILE
- DEF_VER=v1.7.1.2
 -DEF_VER=v1.7.0.8
++DEF_VER=v1.7.1.3
  
  LF='
  '

diff --cc RelNotes
index 573ee74,882532b..d3921d8
--- 1/RelNotes
--- 2/RelNotes
+++ b/RelNotes
@@@ -1,1 -1,1 +1,1 @@@
- Documentation/RelNotes-1.7.1.2.txt
 -Documentation/RelNotes/1.7.0.8.txt
++Documentation/RelNotes/1.7.1.3.txt