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