> This is not needed. gnulib-tool by default ignores dependencies to obsolete
> modules already.

Patch reverted.

Paolo


Reply via email to