Re: [PATCH 0/7] unused argc/argv/prefix parameters
- From
Derrick Stolee <derrickstolee@github.com>
- Date
- Mar 29, 2023, 13:17 UTC
- 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