Bruno Haible Tue, 17 Oct 2006 06:05:11 -0700
Eric Blake wrote: > Is it okay to apply this patch, to reduce make output clutter?
Yes, please apply. Bruno
