Re: [PATCH] config: fix case sensitive subsection names on writing
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 28, 2018, 01:37 UTC
- Message-ID
- <xmqqh8kkjg23.fsf@gitster-ct.c.googlers.com>
- In-Reply-To
- <20180727233606.179965-1-sbeller@google.com>
Stefan Beller <sbeller@google.com> writes:
> I really appreciate the work by DScho (and Peff as I recall him as an active > reviewer there) on 4f4d0b42bae (Merge branch 'js/empty-config-section-fix', > 2018-05-08), as the corner cases are all correct, modulo the one line fix > in this patch.
Amen to the early part of that ;--) Even though it was merely cosmetic, and did not affect correctness, that longstandng bug was very annoying bug to a lot of people. I too am very happy to see it disappear.
I would still hold the judgment on "all except only this one" myself. That's a bit too early in my mind.