Re: unused-parameter.h: not

[Michal Privoznik]

On 03/15/2017 12:24 AM, Paul Eggert wrote:
> I installed the attached patch to Gnulib on Savannah; please give it a try.

Yep, that works. I see you've already pushed it. Thank you.

Michal