On Monday 5 April 2010, Geert Janssens wrote: > > I realised that in the meantime and have just fixed configure.in for this > (18995). > That's not quite right. I had the fix scheduled for committing, but forgot to do so. It is now committed in r18996. Geert