Thanks for your bugreport.
This problem is fixed in my local tree and will be part of the next upload.
Cheers, Michael
Thanks for your bugreport.
This problem is fixed in my local tree and will be part of the next upload.
Cheers,
Michael