It seems like my last upload didn't fix it poperly (thanks Martin for telling me about the problem). I uploaded 0.42.13 which includes a new fix. Please let me know if that works better for you.
Thanks, michael
It seems like my last upload didn't fix it poperly (thanks Martin for telling me about the problem). I uploaded 0.42.13 which includes a new fix. Please let me know if that works better for you.
Thanks,
michael