Merge branch 'master' into next
commite0e3a35e933540f08dda8509ec8e1adcf907855e
authorJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 21:03:44 +0000 (9 13:03 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 21:03:44 +0000 (9 13:03 -0800)
treecdf40202981e4fe040d92fb31b78598d7455b3bc
parent2f9d72a36ff18a85db7a870c1abaf35959e446dd
parent407929cb45dd9e1ba1dc15ec77fc3bf5eae3cc5c
Merge branch 'master' into next

* master:
  perf: update documentation of GIT_PERF_REPEAT_COUNT