Vincent van Ravesteijn wrote: > And what about the patch from Georg ? That patch sort of solved the > problem too. This patch was less intrusive and I already tested that. > > If it was upto me, I would revert this commit and commit Georg's patch.
Do you have a pointer to this patch at hand? Jürgen
