From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 25 May 2018 12:31:13 GMT
Subject: js/empty-config-section-fix, was Re: What's cooking in git.git (May 2018, #03; Wed, 23)
Message-ID: <nycvar.QRO.7.76.6.1805251430420.77@tvgsbejvaqbjf.bet>
In-Reply-To: <xmqqwovtudia.fsf@gitster-ct.c.googlers.com>

Hi Junio,

On Thu, 24 May 2018, Junio C Hamano wrote:

> * js/empty-config-section-fix (2018-05-18) 1 commit
>  - config: a user-provided invalid section is not a BUG
> 
>  Error codepath fix.
> 
>  Will merge to 'next'.

As a hotfix, maybe we can fast-track it to master?

Thanks,
Dscho