Thanks for your bugreoprt.
I fixed this in my local tree and it will be part of the next upload.
Thanks, Michael
Thanks for your bugreoprt.
I fixed this in my local tree and it will be part of the next upload.
Thanks,
Michael