On 5 March 2018 at 23:32, Paul Eggert <egg...@cs.ucla.edu> wrote: > On 03/05/2018 01:50 PM, Reuben Thomas wrote: >> >> Is there some reason that the unused parameter is not suitably >> decorated for gcc? > > > I expect it is because nobody has gotten around to it. I installed the > attached.
Thanks very much! I wasn't sure; often I trip over subtleties in gnulib (understandably, given what it does). -- https://rrt.sc3d.org
