> -----Original Message----- > From: Rainer Jung
> > Given that, lets stay with the old setting. > > Rüdiger: could you please clarify: old means the one I > committed earlier > today (r966055), or the one that was in place before my change? Old means r966160. Sorry for the confusion. Regards Rüdiger
