Merge branch 'js/gc-prune'
authorJunio C Hamano <gitster@pobox.com>
Sun, 15 Feb 2009 08:05:11 +0000 (00:05 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 15 Feb 2009 08:05:11 +0000 (00:05 -0800)
* js/gc-prune:
gc: make --prune useful again by accepting an optional parameter

Trivial merge