Andrew's git / gitweb.git / diff
?
Merge branch 'kb/maint-prune-rmdir-closedir'
authorJunio C Hamano <gitster@pobox.com>
Thu, 8 Mar 2012 21:05:04 +0000 (13:05 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 8 Mar 2012 21:05:04 +0000 (13:05 -0800)
By Karsten Blees
* kb/maint-prune-rmdir-closedir:
fix deletion of .git/objects sub-directories in git-prune/repack

Trivial merge