Merge branch 'maint'
commit407929cb45dd9e1ba1dc15ec77fc3bf5eae3cc5c
authorJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 19:54:05 +0000 (9 11:54 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sat, 9 Mar 2013 19:54:05 +0000 (9 11:54 -0800)
treed375edb8fe3614da3a6d3894254d665efd6aec06
parent1cc625fd7a97f3335c837526cae36100adcd697f
parentca70c9ea7224e1e47d8ab46ea67ba9e29ce8a121
Merge branch 'maint'

* maint:
  perf: update documentation of GIT_PERF_REPEAT_COUNT