Hi Eric, * Eric Blake wrote on Mon, May 12, 2008 at 03:59:36PM CEST: > > > People simply don't realize that there could be more than one config.log > > > and config.cache file. > > > > > > > > OK to apply? > > > > Yes please. > > I took the liberty of applying it on your behalf.
Thank you, and sorry that I didn't get to it. Cheers, Ralf
