Vincent van Ravesteijn wrote: > The attached patch 'solves' these two bugs, but it feels like a dirty fix.
I cannot say anything about the patch, but in any case, I'd like to have a fix for these bugs in, even if it delays the release for some days. Jürgen
