Merge branch 'db/push-cleanup'
[gitweb.git] / Documentation / technical / racy-git.txt
index 6bdf034b3af55c8d881fee9153d5cd1824660692..48bb97f0b11048f3773fe9fba234fe1160ca3906 100644 (file)
@@ -135,7 +135,7 @@ them, and give the same timestamp to the index file:
 
 This will make all index entries racily clean.  The linux-2.6
 project, for example, there are over 20,000 files in the working
-tree.  On my Athron 64X2 3800+, after the above:
+tree.  On my Athlon 64 X2 3800+, after the above:
 
   $ /usr/bin/time git diff-files
   1.68user 0.54system 0:02.22elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k