Re: [PATCH v2 0/2] setup: warn if extensions exist on old format
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jul 14, 2020, 20:24 UTC
- 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