From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 24 Feb 2023 14:03:06 GMT
Subject: Re: [PATCH v2 00/17] Header cleanups
Message-ID: <2e357002-fc59-e7dd-97f5-9d77de6480af@gmx.de>
In-Reply-To: <pull.1485.v2.git.1677197376.gitgitgadget@gmail.com>

Hi Elijah,

On Fri, 24 Feb 2023, Elijah Newren via GitGitGadget wrote:

>  * Big props to Dscho for gitgitgadget; being able to test on a bunch of
>    platforms with a variety of configurations easily is a big win in general
>    but especially for series like this one.

Thank you so much! It is gratifying to see my hard work bring benefit to
this project and its contributors.

Ciao,
Johannes