Hello, > Ralf Wildenhues <[EMAIL PROTECTED]> writes: > > > I'm still wondering whether we should just simply revert both patches,
I have talked with Ralf by phone, and I agree with him that backing
out my cleanup (plus later fixes to it) and replacing it by a couple
of straightforward fixes for the known issues is the most safe
option.
Thank you, Ralf, that you analysed this, explained it to me, and that
you will implement it. ;-)
Gratefully,
Stepan
