From: Derrick Stolee <derrickstolee@github.com>
Date: Wed, 29 Mar 2023 13:17:18 GMT
Subject: Re: [PATCH 0/7] unused argc/argv/prefix parameters
Message-ID: <90a8dd7d-59ed-8de8-27c7-c7dc9cf8a77a@github.com>
In-Reply-To: <20230328205253.GA1753925@coredump.intra.peff.net>

On 3/28/2023 4:52 PM, Jeff King wrote:
> More from my -Wunused-parameter silencing. The first one actually fixes
> a bug. The second is a cleanup, and the rest are just UNUSED annotations
> (but grouped into similar cases).

This was easy to read and LGTM.

Thanks,
-Stolee