22 Jul
2011
22 Jul
'11
11:34 p.m.
Hi Gerhard, thanks for your report! On 20.07.2011 22:32, Gerhard Hejc wrote:
fixes the problem in my application, but I am not absolutely sure that this does not have any side effects. What do you think?
Your fix seems to do the right thing. I applied it to the repository. Regards, Jens