From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 14 Jul 2020 20:24:01 GMT
Subject: Re: [PATCH v2 0/2] setup: warn if extensions exist on old format
Message-ID: <nycvar.QRO.7.76.6.2007142223320.52@tvgsbejvaqbjf.bet>
In-Reply-To: <pull.674.v2.git.1594690017.gitgitgadget@gmail.com>

Hi Stolee,

On Tue, 14 Jul 2020, Derrick Stolee via GitGitGadget wrote:

>  2. A second patch has joined the fray, hopefully answering the concerned
>     raise by Johannes [1].

It answers my concern!

Thank you for providing these patches,
Dscho