Re: "unused parameter" warnings

[Bruno Haible]

Jim Meyering wrote:
> This is a good change.

So I applied it,

> Whether to replace all existing __attribute__ ((__attribute__))
> uses with _UNUSED_PARAMETER_ is a harder call.

There's no immediate need to do so.

Bruno