Merge branch 'ps/doc-gc-aggressive-depth-update'
authorJunio C Hamano <gitster@pobox.com>
Fri, 24 Feb 2017 18:48:10 +0000 (10:48 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 24 Feb 2017 18:48:10 +0000 (10:48 -0800)
Doc update.

* ps/doc-gc-aggressive-depth-update:
docs/git-gc: fix default value for `--aggressiveDepth`

Trivial merge