On Thursday 05 June 2008 03:16:35 Klaas-Jan Stol wrote: > somehow a fresh checkout has resolved the problem > > (but my other sandbox was still up to date according to svn status...)
You probably needed a 'make realclean'. > anyhow, this ticket can be rejected. Done! -- c
