Ozgur Ugras BARAN wrote: > Attached patch corrects the buglet mentioned in the heading. I don't know > this quick hack has any consequences, so please somebody verify.
Uwe and I have tested it, and it works. (I cannot commit in the next days). Jürgen
