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