Re: [PATCH v2] stat-time: silence -Wunused-parameter regression

[Paul Eggert]

Jim Meyering wrote:

Thanks. That sounds like the right approach. We have to hold
user-included headers to a higher standard.

Right, I missed that. Thanks, Eric.