Re: snippets/unused-parameter

2022-01-30 Thread Bruno Haible
Paul Eggert wrote: > > My question is: What should i do w/ this module? > > (a) Leave it alone -- "obsolete" is not "broken". > > That's OK in the short term but in the long run I suggest using > _GL_UNUSED instead. I would advise against that. Identifiers that begin with _GL are Gnulib-private.

Re: snippets/unused-parameter

2022-01-26 Thread Paul Eggert
On 1/26/22 19:17, Thien-Thi Nguyen wrote: I just now updated a local gnulib tree and re-ran autogen.sh (for GNU RCS), and i see: Notice from module snippet/unused-parameter: This module is obsolete. The gnulib.info documentation mentions "obsolete" in several places, but it seems to be o

snippets/unused-parameter

2022-01-26 Thread Thien-Thi Nguyen
I just now updated a local gnulib tree and re-ran autogen.sh (for GNU RCS), and i see: Notice from module snippet/unused-parameter: This module is obsolete. The gnulib.info documentation mentions "obsolete" in several places, but it seems to be oriented toward gnulib hackers rather than user