Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 2 Jul 2007 23:41:44 +0000 (16:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 3 Jul 2007 00:12:48 +0000 (17:12 -0700)
commitb941ffac506d3f57246e46a8913da614e62a1d48
treef76758c462c69b87f40bfc0ae898d2aae255efca
parent1fd81efad0d65afba91f8fb27b40a6345bfb50de
parent8d2244ba74f5207b9f7f9f1b4efbcccacbbb2c7b
Merge branch 'maint'

* maint:
  Make git-prune submodule aware (and fix a SEGFAULT in the process)
reachable.c