Andrew's git / gitweb.git / diff
?
Merge branch 'jk/has-sha1-file-retry-packed' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Oct 2013 22:45:54 +0000 (15:45 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Oct 2013 22:45:54 +0000 (15:45 -0700)
* jk/has-sha1-file-retry-packed:
has_sha1_file: re-check pack directory before giving up

Trivial merge