>>>>> "Rainer" == Rainer Orth <ro@TechFak.Uni-Bielefeld.DE> writes: >> This is ok, please check it in. Rainer> Thanks, installed. Also for the 4.0 branch once it reopens and testing Rainer> there has completed? Yes, I think that would be fine. Tom