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
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