(In reply to Jan Kara from comment #26) > So far no problems. I'd consider the problem fixed... Thanks for it. I'll submit the fix then.