Merge branch 'mm/gc-safety-doc'
authorJunio C Hamano <gitster@pobox.com>
Tue, 10 Jan 2017 23:24:25 +0000 (15:24 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 10 Jan 2017 23:24:25 +0000 (15:24 -0800)
commit979b82f19f3c44d34779c46c636aade514a711a9
tree2c2114cd025534e0af030be907cdb129e3269623
parent5f52e70879d70b211de5d6132ed96cecaa8eaf89
parentf1350d0c125a1e6a73e3b6461fa90c77843c5f74
Merge branch 'mm/gc-safety-doc'

Doc update.

* mm/gc-safety-doc:
  git-gc.txt: expand discussion of races with other processes
Documentation/config.txt
Documentation/git-gc.txt