JHV is very polite, isn't it ;-)
Concerning the bug:
I could not reproduce the problem - but it seemed to be a threading problem which should be fixed now.
JHV is very polite, isn't it ;-)
Concerning the bug:
I could not reproduce the problem - but it seemed to be a threading problem which should be fixed now.