K 10 svn:author V 5 joerg K 8 svn:date V 27 2004-10-11T21:23:56.000000Z K 7 svn:log V 320 Revert the change from rev 1.168. ru convinced me that the situation that was fixed by this should not normally happen, and since I did not record the traces of my failed build attempt that had been solved with that change, it's not entirely clear whether it hadn't been a pilot error on my end. In dubio pro reo. :-) END