## Rainer Hurling (rhurlin at gwdg.de): > Thanks for this info. So perhaps your situation is like the one, > mandree@ observed on his 10.0 box: no crashes without the patch? Exactly. Regards, Christoph -- Spare Space