Merge branch 'jk/cat-file-batch-optim'

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index e364007d7c2e5f9b1aa5472c7968cb248eb8cf3f..fe723e472275dc8989338be9a1bc592a4dd18425 100644 (file)
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -4675,5 +4675,5 @@ Write a chapter on using plumbing and writing scripts.
 Alternates, clone -reference, etc.
 
 More on recovery from repository corruption.  See:
-       http://marc.theaimsgroup.com/?l=git&m=117263864820799&w=2
-       http://marc.theaimsgroup.com/?l=git&m=117147855503798&w=2
+       http://marc.info/?l=git&m=117263864820799&w=2
+       http://marc.info/?l=git&m=117147855503798&w=2