On Fri, 05 Mar 2010, Laurence Anthony wrote: > > Thanks for working on this. I'm sure it took a while to figure out what was > going on. The third workaround you suggest is the one I will go with. I'll > try it from now.
Both bugs are already fixed now in our source repository, so once we release a new version you won't need to use the workaround anymore (just noting it here because I'm not sure if this change will make it into the release notes, as it is somewhat obscure). Cheers, -Jan