Hi Christian, thanks a lot for this perfect bug report, including a very sophisticated analysis of the problem and a nice fix. I will apply your patch soon.
-- regards Thomas -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
