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). -Peff