Hi Jim,

> Have you considered making gnulib-tool diagnose (I'd prefer failure)
> such redundant dependencies?

gnulib-tool already gives a warning about this. You insisted on it, years ago.

> Both changes are fine.  Thanks.

Applied.

Bruno


Reply via email to