Merge branch 'js/gc-prune'
authorJunio C Hamano <redacted>
Sun, 15 Feb 2009 08:05:11 +0000 (00:05 -0800)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT