Re: [PATCH] build: avoid unneeded spawn-pipe gnulib module

[Pádraig Brady]

pushed: http://git.sv.gnu.org/gitweb/?p=coreutils.git;a=commit;h=f18999b4

thanks,
Pádraig.