Thank you Michael,
Am 04.12.2010 23:35, schrieb Michael Tautschnig:
Hi Karl,
Thank you for further investigating this issue; it seems like we almost
concurrently posted our analyses :-)
Indeed. As I pushed the send button your mail came in. (Whow, what a response
time - lot better than the 24 hours used to get for commercial software ;-)
[...]
Attached the patch to fix this.
[...]
The proposed patch would un-fix #600715, which was precisely what caused the
current problem. The problem is now tracked as #605947.
Thank you for your detailed analysis. You are the expert.
Greetings
Karl
