Paolo Bonzini Tue, 20 Jan 2009 23:55:40 -0800
> This is not needed. gnulib-tool by default ignores dependencies to obsolete > modules already.
Patch reverted. Paolo