Jeff King <peff@xxxxxxxx> writes: > On Fri, Feb 24, 2017 at 09:46:45AM +0100, Patrick Steinhardt wrote: > >> In commit 07e7dbf0d (gc: default aggressive depth to 50, 2016-08-11), >> the default aggressive depth of git-gc has been changed to 50. While >> git-config(1) has been updated to represent the new default value, >> git-gc(1) still mentions the old value. This patch fixes it. > > Thanks, this is obviously an improvement. > > (I also grepped for "250" in Documentation; the results are thankfully > short, and the only other mentions I saw were referring to the window > size). Thanks, both. Will queue.