On Tue, Jul 25, 2006 at 01:09:02PM +0100, Andrew STUBBS wrote: > This is probably not a serious issue, but I do wonder if it perhaps > would be better to sort it out. If you'd like to... I agree, but I don't think it's important enough to spend much time on. -- Daniel Jacobowitz CodeSourcery