Thanks for the further review; I installed it with the changes you suggested.
On 5/3/20 3:56 AM, Bruno Haible wrote: > At some point, we may be able to remove lib/unused-parameter.h. But IMO > this should wait until we've gained experience with attribute.h. I agree. There are other possible later cleanups as well, e.g., lib/arg-nonnull.h. But one step at a time.
