On 01 Feb 2014, at 23:25, Florian Klämpfl wrote: > > Just to be sure: your working copy is clean? It is clean. To be shure I first removed the entire svn tree and then checked out r26221. -- Ewald