Re: gnulib-tool: don't use hard links

[Paul Eggert]

Thanks, that was fast! I'll give it a try soon (though perhaps not as quickly as 
you did...).