config: a user-provided invalid section is not a BUG
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 17 May 2018 21:47:06 +0000 (23:47 +0200)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 May 2018 23:00:48 +0000 (08:00 +0900)
commit438a87d...e25fa6715f38e30ee394d34e71d44acb
treed6368e7...af29a6e0bc5053b20d3c88c9b6b22171copy hash to clipboard (tree)
parentc71d8bb...8a73abc910a63bf7a81f3869dc9c2f34copy hash to clipboard (diff)
config.c