Re: [PATCH 0/7] unused argc/argv/prefix parameters
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 29, 2023, 15:21 UTC
- Message-ID
- <xmqqv8ijd1mn.fsf@gitster.g>
- In-Reply-To
- <90a8dd7d-59ed-8de8-27c7-c7dc9cf8a77a@github.com>
Derrick Stolee <derrickstolee@github.com> writes:
Show 6 quoted lines
> 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, both, for writing and reviewing. I agree that the series was a clear and easy read.
Let's merge it down to 'next'.